Sciweavers

137 search results - page 5 / 28
» Approximating OWL-DL Ontologies
Sort
View
DLOG
2006
13 years 9 months ago
Finding Subsumers for Natural Language Presentation
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...
Chris Mellish, Jeff Z. Pan
WS
2008
ACM
13 years 7 months ago
Translating the Foundational Model of Anatomy into OWL
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...
Natalya Fridman Noy, Daniel L. Rubin
WWW
2005
ACM
14 years 8 months ago
Soundness proof of Z semantics of OWL using institutions
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...
Dorel Lucanu, Yuan-Fang Li, Jin Song Dong
OWLED
2008
13 years 9 months ago
The OWL of Biomedical Investigations
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...
Mélanie Courtot, William Bug, Frank Gibson,...
ER
2007
Springer
89views Database» more  ER 2007»
14 years 1 months ago
On Order Dependencies for the Semantic Web
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...
David Toman, Grant E. Weddell