Development of ontology development tools and ontology-enhanced software applications requires thorough understanding of ontology languages in order to implement them according to their specification. We present a formal specification of the ontologies part of the Web Services Modeling Language WSML documentation as a conceptual model in ORM2. Such an approach abstracts the semantics about ontological constructs, axioms, and properties from their implementation in arbitrary formats, thereby making the model easily understandable and reusable. This formal model in ORM2, which is understandable by both logician and software developer, can be used as any other conceptual model to develop applications, thereby ensuring smooth transition from theory to implementations that are faithful to the theory.
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Ontologies and Worlds in Category Theory: Implications for Neural Systems. [REVIEW]Michael John Healy & Thomas Preston Caudell - 2005 - Axiomathes 16 (1-2):165-214.
A Formal Foundation for Process Modeling.Christopher Menzel & Michael Grüninger - 2001 - In C. Welty B. Smith (ed.), Formal Ontology and Information Systems. ACM Press.
Scientific Explanation: From Covering Law to Covering Theory.Fritz Rohrlich - 1994 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1994:69 - 77.
Towards Automated Reasoning on ORM Schemes - Mapping ORM Into the DLRidf Description Logic.Mustafa Jarrar - manuscript
Ontology (Science).Barry Smith - 2008 - In Carola Eschenbach & Michael Grüninger (eds.), Formal Ontology in Information Systems. IOS Press. pp. 21-35.
The Unified Medical Language System and the Gene Ontology: Some Critical Reflections.Anand Kumar & Barry Smith - 2003 - In KI 2003: Advances in Artificial Intelligence.
Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design. [REVIEW]Dominik Lücke - 2010 - Logica Universalis 4 (2):255-333.
Added to index2009-01-28
Total downloads20 ( #250,358 of 2,178,269 )
Recent downloads (6 months)1 ( #316,623 of 2,178,269 )
How can I increase my downloads?