Matches in ScholarlyData for { ?s ?p ?o. }
- 51 creator floriana-esposito.
- 51 creator francesca-alessandra-lisi.
- 51 type InProceedings.
- 51 label "Learning Semantic Web rules within the framework of $\mathcal{SHIQ}$+log".
- 51 sameAs 51.
- 51 abstract "In this paper we face the problem of learning Semantic Web rules within a decidable instantiation of the $\mathcal{DL}$+log framework which integrates the DL $\mathcal{SHIQ}$ and positive \textsc{Datalog}. To solve the problem, we resort to the methodological apparatus of Inductive Logic Programming.".
- 51 hasAuthorList authorList.
- 51 isPartOf poster_demo_proceedings.
- 51 keyword "Inductive Logic Programming".
- 51 keyword "Semantic Web rules".
- 51 title "Learning Semantic Web rules within the framework of $\mathcal{SHIQ}$+log".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasLastItem item-2.
- item-1 type ListItem.
- item-1 hasContent francesca-alessandra-lisi.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent floriana-esposito.
- item-2 previous item-1.
- 52 creator bella-manoim.
- 52 creator robert-w-mcgrail.
- 52 type InProceedings.
- 52 label "Toward an Ontology for Finite Algebras".
- 52 sameAs 52.
- 52 abstract "The authors present a case for an ontology of finite algebras. This vocabulary is a direct response to the limitations of the formats employed by first-order model searchers, such as Mace4, and specialized software, such as UACalc. It will support a semantically rich format for algebra storage and interchange intended to improve the efficiency of computational discovery processes in universal algebra. The class of finite quandles is considered as a case study in order to understand some of the challenges of designing such a knowledge base.".
- 52 hasAuthorList authorList.
- 52 isPartOf poster_demo_proceedings.
- 52 keyword "ontology".
- 52 keyword "symbolic computing".
- 52 keyword "universal algebra".
- 52 title "Toward an Ontology for Finite Algebras".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasLastItem item-2.
- item-1 type ListItem.
- item-1 hasContent bella-manoim.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent robert-w-mcgrail.
- item-2 previous item-1.
- 53 creator knud-moeller.
- 53 creator laura-dragan.
- 53 creator oszkar-ambrus.
- 53 creator siegfried-handschuh.
- 53 type InProceedings.
- 53 label "A Visual Interface for Building SPARQL Queries in Konduit".
- 53 sameAs 53.
- 53 abstract "This short demo description presents an extension to the Konduit tool for visual programming for the semantic desktop. Previously, Konduit required users to define filter components by manually specifying a SPARQL CONSTRUCT query. With the current work presented in this demo, we are exploring ways of building such queries visually, and aiding the use in doing it. We hope that this will make it easier to work with Konduit, which will thus appeal to more users.".
- 53 hasAuthorList authorList.
- 53 isPartOf poster_demo_proceedings.
- 53 keyword "semantic desktop".
- 53 keyword "sparql".
- 53 keyword "user interface".
- 53 title "A Visual Interface for Building SPARQL Queries in Konduit".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasItem item-3.
- authorList hasItem item-4.
- authorList hasLastItem item-4.
- item-1 type ListItem.
- item-1 hasContent knud-moeller.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent oszkar-ambrus.
- item-2 next item-3.
- item-2 previous item-1.
- item-3 type ListItem.
- item-3 hasContent laura-dragan.
- item-3 next item-4.
- item-3 previous item-2.
- item-4 type ListItem.
- item-4 hasContent siegfried-handschuh.
- item-4 previous item-3.
- 54 creator catherine-dolbear.
- 54 creator glen-hart.
- 54 creator jennifer-green.
- 54 creator john-goodwin.
- 54 creator paula-engelbrecht.
- 54 type InProceedings.
- 54 label "Creating a Semantic Integration System using Spatial Data".
- 54 sameAs 54.
- 54 abstract "Data integration is complex often requiring much technical knowledge and expert understanding of the data’s meaning. In this paper we investigate the use of current semantic tools as an aid to data integration, and identify the need to modify these tools to meet the needs of spatial data. We create a demonstrator based on the real world problem of predicting sources of diffuse pollution, illustrating the benefits of exposing the semantics of integration.".
- 54 hasAuthorList authorList.
- 54 isPartOf poster_demo_proceedings.
- 54 keyword "Geospatial".
- 54 keyword "OWL".
- 54 keyword "RDF".
- 54 keyword "Semantic Integration".
- 54 keyword "Semantic Web".
- 54 title "Creating a Semantic Integration System using Spatial Data".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.