This work is motivated by the task of describing in natural language a concept defined in an OWL DL ontology. However, rather than focussing on linguistic issues, we address the q...
The Foundational Model of Anatomy (FMA) [7] represents the result of manual and disciplined modeling of the structural organization of the human body. Many workers in medical info...
The correctness of the Z semantics of OWL is the theoretical foundation of using software engineering techniques to verify Web ontologies. As OWL and Z are based on different logi...
The Ontology for Biomedical Investigations (OBI), written in OWL DL, is being developed by a large consortium seeking to provide a crossdomain, shared framework for representing in...
We consider the problem of adding both equality and order generating dependencies to Web ontology languages such as OWL DL that are based on description logics. Such dependencies u...