Matches in ScholarlyData for { ?s ?p ?o. }
- 71 type InProceedings.
- 71 label "An Ontology Design Pattern for Representing Relevance in OWL".
- 71 sameAs 71.
- 71 abstract "Design patterns are widely-used software engineering abstractions which define guidelines for modeling common application scenarios. Ontology design patterns are the extension of software patterns for knowledge acquisition in the Semantic Web. In this work we present a design pattern for representing relevance depending on context in OWL ontologies, i.e. to assert which knowledge from the domain ought to be considered in a given scenario. Besides the formal semantics and the features of the pattern, we describe a reasoning procedure to extract relevant knowledge in the resulting ontology and a plug-in for Protégé which assists pattern use.".
- 71 hasAuthorList authorList.
- 71 hasTopic Ontology_%28computer_science%29.
- 71 hasTopic Semantic_Web.
- 71 isPartOf proceedings.
- 71 title "An Ontology Design Pattern for Representing Relevance in OWL".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasItem item-3.
- authorList hasLastItem item-3.
- item-1 type ListItem.
- item-1 hasContent juan-gomez-romero.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent fernando-bobillo.
- item-2 next item-3.
- item-2 previous item-1.
- item-3 type ListItem.
- item-3 hasContent miguel-delgado.
- item-3 previous item-2.
- 85 creator jos-de-bruijn.
- 85 creator stijn-heymans.
- 85 type InProceedings.
- 85 label "Logical Foundations of (e)RDF(S): Complexity and Reasoning".
- 85 sameAs 85.
- 85 abstract "An important open question in the semantic Web is the precise relationship between the RDF(S) semantics and the semantics of standard knowledge representation formalisms such as logic programming and description logics. In this paper we address this issue by considering embeddings of RDF and RDFS in logic. Using these embeddings, combined with existing results about various fragments of logic, we establish several novel complexity results. The embeddings we consider show how techniques from deductive databases and description logics can be used for reasoning with RDF(S). Finally, we consider querying RDF graphs and establish the data complexity of conjunctive querying for the various RDF entailment regimes.".
- 85 hasAuthorList authorList.
- 85 hasTopic Database.
- 85 hasTopic Formal_language.
- 85 hasTopic Reasoning.
- 85 hasTopic Semantic_Web.
- 85 isPartOf proceedings.
- 85 title "Logical Foundations of (e)RDF(S): Complexity and Reasoning".
- 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 jos-de-bruijn.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent stijn-heymans.
- item-2 previous item-1.
- 99 creator aaron-kershenbaum.
- 99 creator achille-fokoue.
- 99 creator aditya-kalyanpur.
- 99 creator christopher-welty.
- 99 creator james-fan.
- 99 creator julian-dolby.
- 99 creator kavitha-srinivas.
- 99 creator li-ma.
- 99 creator william-murdock.
- 99 type InProceedings.
- 99 label "Scalable Cleanup of Information Extraction Data Using Ontologies".
- 99 sameAs 99.
- 99 abstract "The approach of using ontology reasoning to cleanse the output of information extraction tools was first articulated in SemantiClean. A limiting factor in applying this approach has been that ontology reasoning to find inconsistencies does not scale to the size of data produced by information extraction tools. In this paper, we describe techniques to scale inconsistency detection, and illustrate the use of our techniques to produce a consistent subset of a knowledge base with several thousand inconsistencies.".
- 99 hasAuthorList authorList.
- 99 hasTopic Application_software.
- 99 hasTopic Semantic_Web.
- 99 isPartOf proceedings.
- 99 title "Scalable Cleanup of Information Extraction Data Using Ontologies".
- 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 hasItem item-7.
- authorList hasItem item-8.
- authorList hasItem item-9.
- authorList hasLastItem item-9.
- item-1 type ListItem.
- item-1 hasContent julian-dolby.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent james-fan.
- item-2 next item-3.
- item-2 previous item-1.
- item-3 type ListItem.
- item-3 hasContent achille-fokoue.
- item-3 next item-4.
- item-3 previous item-2.
- item-4 type ListItem.
- item-4 hasContent aditya-kalyanpur.
- item-4 next item-5.
- item-4 previous item-3.
- item-5 type ListItem.
- item-5 hasContent aaron-kershenbaum.
- item-5 next item-6.
- item-5 previous item-4.
- item-6 type ListItem.
- item-6 hasContent li-ma.