Combining Horn rules and description logics in CARIN
Artificial Intelligence
A proposal for an owl rules language
Proceedings of the 13th international conference on World Wide Web
The Description Logic Handbook
The Description Logic Handbook
A Tableau Decision Procedure for $\mathcal{SHOIQ}$
Journal of Automated Reasoning
Structured objects in owl: representation and reasoning
Proceedings of the 17th international conference on World Wide Web
Web Semantics: Science, Services and Agents on the World Wide Web
| Hi-index | 0.00 |
The Web Ontology Language (OWL) is a well-known language for ontology modeling in the Semantic Web [9]. The World Wide Web Consortium (W3C) is currently working on a revision of OWL-- called OWL 2 [2]--whose main goal is to address some of the limitations of OWL. The formal underpinnings of OWL and OWL 2 are provided by description logics (DLs)[1]-knowledge representation formalisms with well-understood formal properties. DLs are often used to describe structured objects--objects whose parts are interconnected in complex ways. Such objects abound in molecular biology and the clinical sciences, and clinical ontologies such as GALEN, the Foundational Model of Anatomy (FMA), and the National Cancer Institute (NCI) Thesaurus describe numerous structured objects. For example, FMA models the human hand as consisting of the fingers, the palm, various bones, blood vessels, and so on, all of which are highly interconnected.