Matches in ScholarlyData for { ?s ?p ?o. }
- authorList hasLastItem item-4.
- item-1 type ListItem.
- item-1 hasContent bernardo-cuenca-grau.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent evgeny-kharlamov.
- item-2 next item-3.
- item-2 previous item-1.
- item-3 type ListItem.
- item-3 hasContent egor-v-kostylev.
- item-3 next item-4.
- item-3 previous item-2.
- item-4 type ListItem.
- item-4 hasContent dmitriy-zheleznyakov.
- item-4 previous item-3.
- paper-05 type InProceedings.
- paper-05 label "Completeness Statements about RDF Data Sources and Their Use for Query Answering".
- paper-05 sameAs paper-05.
- paper-05 abstract "With thousands of RDF data sources available on the Web covering disparate and possibly overlapping knowledge domains, the problem of providing high-level descriptions (in the form of metadata) of their content becomes crucial. In this paper we introduce a theoretical framework for describing data sources in terms of their completeness. We show how existing data sources can be described with completeness statements expressed in RDF. We then focus on the problem of the completeness of query answering over plain and RDFS data sources augmented with completeness statements. Finally, we present an extension of the completeness framework for federated data sources.".
- paper-05 hasAuthorList authorList.
- paper-05 isPartOf proceedings-1.
- paper-05 title "Completeness Statements about RDF Data Sources and Their Use for Query Answering".
- 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 fariz-darari.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent werner-nutt.
- item-2 next item-3.
- item-2 previous item-1.
- item-3 type ListItem.
- item-3 hasContent giuseppe-pirro.
- item-3 next item-4.
- item-3 previous item-2.
- item-4 type ListItem.
- item-4 hasContent simon-razniewski.
- item-4 previous item-3.
- paper-06 type InProceedings.
- paper-06 label "Empirical Study of Logic-Based Modules: Cheap Is Cheerful".
- paper-06 sameAs paper-06.
- paper-06 abstract "For ontology reuse and integration, a number of approaches have been devised that aim at identifying modules, i.e., suitably small sets of “relevant” axioms from ontologies. Here we consider three logically sound notions of modules: MEX modules, only applicable to inexpressive ontologies; modules based on semantic locality, a sound approximation of the first; and modules based on syntactic locality, a sound approximation of the second (and thus the first), widely used since these modules can be extracted from OWL DL ontologies in time polynomial in the size of the ontology. In this paper we investigate the quality of both approximations over a large corpus of ontologies, using our own implementation of semantic locality, which is the first to our knowledge. In particular, we show with statistical significance that, in most cases, there is no difference between the two module notions based on locality; where they differ, the additional axioms can either be easily ruled out or their number is relatively small. We classify the axioms that explain the rare differences into four kinds of “culprits” and discuss which of those can be avoided by extending the definition of syntactic locality. Finally, we show that differences between MEX and locality-based modules occur for a minority of ontologies from our corpus and largely affect (approximations of ) expressive ontologies – this conclusion relies on a much larger and more diverse sample than existing comparisons between MEX and syntactic locality-based modules.".
- paper-06 hasAuthorList authorList.
- paper-06 isPartOf proceedings-1.
- paper-06 title "Empirical Study of Logic-Based Modules: Cheap Is Cheerful".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasItem item-3.
- authorList hasItem item-4.
- authorList hasItem item-5.
- authorList hasItem item-6.
- authorList hasLastItem item-6.
- item-1 type ListItem.
- item-1 hasContent chiara-del-vescovo.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent pavel-klinov.
- item-2 next item-3.
- item-2 previous item-1.
- item-3 type ListItem.
- item-3 hasContent bijan-parsia.
- item-3 next item-4.
- item-3 previous item-2.
- item-4 type ListItem.
- item-4 hasContent ulrike-sattler.
- item-4 next item-5.
- item-4 previous item-3.
- item-5 type ListItem.
- item-5 hasContent thomas-schneider.
- item-5 next item-6.
- item-5 previous item-4.
- item-6 type ListItem.
- item-6 hasContent dmitry-tsarkov.
- item-6 previous item-5.
- paper-07 type InProceedings.
- paper-07 label "The Logic of Extensional RDFS".
- paper-07 sameAs paper-07.
- paper-07 abstract "The normative version of RDF Schema (RDFS) gives non-standard (intensional) interpretations to some standard notions such as classes and properties, thus departing from standard set-based semantics. In this paper we develop a standard set-based (extensional) semantics for the RDFS vocabulary while preserving the simplicity and computational complexity of deduction of the intensional version. This result can positively impact current implementations, as reasoning in RDFS can be implemented following common set-based intuitions and be compatible with OWL extensions.".
- paper-07 hasAuthorList authorList.
- paper-07 isPartOf proceedings-1.
- paper-07 title "The Logic of Extensional RDFS".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasItem item-3.
- authorList hasItem item-4.
- authorList hasItem item-5.
- authorList hasLastItem item-5.
- item-1 type ListItem.
- item-1 hasContent enrico-franconi.
- item-1 next item-2.
- item-2 type ListItem.