Matches in ScholarlyData for { ?s ?p ?o. }
- 169 creator matthew-horridge.
- 169 creator rob-shearer.
- 169 type InProceedings.
- 169 label "OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences".
- 169 sameAs 169.
- 169 abstract "OBO is an ontology language that has often been used for modeling ontologies in the life sciences. Its definition is relatively informal, so, in this paper, we provide a clear specification for OBO syntax and semantics via a mapping to OWL. This mapping also allows us to apply existing Semantic Web tools and techniques to OBO. We show that Semantic Web reasoners can be used to efficiently reason with OBO ontologies. Furthermore, we show that grounding the OBO language in formal semantics is useful for the ontology development process: using an OWL reasoner, we detected a likely modeling error in one OBO ontology.".
- 169 hasAuthorList authorList.
- 169 hasTopic Application_software.
- 169 hasTopic Biology.
- 169 hasTopic Semantic_Web.
- 169 isPartOf proceedings.
- 169 title "OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences".
- 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 christine-golbreich.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent matthew-horridge.
- item-2 next item-3.
- item-2 previous item-1.
- item-3 type ListItem.
- item-3 hasContent ian-horrocks.
- item-3 next item-4.
- item-3 previous item-2.
- item-4 type ListItem.
- item-4 hasContent boris-motik.
- item-4 next item-5.
- item-4 previous item-3.
- item-5 type ListItem.
- item-5 hasContent rob-shearer.
- item-5 previous item-4.
- 183 creator bernardo-cuenca-grau.
- 183 creator christian-halaschek-wiener.
- 183 creator yevgeny-kazakov.
- 183 type InProceedings.
- 183 label "History Matters: Incremental Ontology Reasoning Using Modules".
- 183 sameAs 183.
- 183 abstract "The development of ontologies involves continuous but relatively small modifications. Existing ontology reasoners, however, do not take advantage of the similarities between different versions of an ontology. In this paper, we propose a technique for incremental reasoning - that is, reasoning that reuses information obtained from previous versions of an ontology - based on the notion of a module. Our technique does not depend on a particular reasoning calculus and thus can be used in combination with any reasoner. We have applied our results to incremental classification of OWL DL ontologies and found significant improvement over regular classification time on a set of real-world ontologies.".
- 183 hasAuthorList authorList.
- 183 hasTopic Formal_language.
- 183 hasTopic Ontology_%28computer_science%29.
- 183 hasTopic Reasoning.
- 183 hasTopic Semantic_Web.
- 183 hasTopic Software_agent.
- 183 hasTopic Web_service.
- 183 isPartOf proceedings.
- 183 title "History Matters: Incremental Ontology Reasoning Using Modules".
- 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 bernardo-cuenca-grau.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent yevgeny-kazakov.
- item-2 next item-3.
- item-2 previous item-1.
- item-3 type ListItem.
- item-3 hasContent christian-halaschek-wiener.
- item-3 previous item-2.
- 197 creator diana-trif.
- 197 creator knud-moeller.
- 197 creator siegfried-handschuh.
- 197 creator stefan-decker.
- 197 creator tudor-groza.
- 197 type InProceedings.
- 197 label "SALT: Weaving the Claim Web".
- 197 sameAs 197.
- 197 abstract "In this paper we present a solution for "weaving the claim web", i.e. the creation of knowledge networks via so-called claims stated in scientific publications created with the SALT (Semantically Annotated LaTeX) framework. To attain this objective, we provide support for claim identification, evolved the appropriate ontologies and defined a claim citation and reference mechanism. We also describe a prototypical claim search engine, which allows to reference to existing claims and hence, weave the web. Finally, we performed a small-scale evaluation of the authoring framework with a quite promising outcome.".
- 197 hasAuthorList authorList.
- 197 isPartOf proceedings.
- 197 title "SALT: Weaving the Claim Web".
- 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 tudor-groza.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent knud-moeller.
- item-2 next item-3.
- item-2 previous item-1.
- item-3 type ListItem.
- item-3 hasContent siegfried-handschuh.
- item-3 next item-4.