|Abstract||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)
|Through your library||Only published papers are available at libraries|
Similar books and articles
Michael John Healy & Thomas Preston Caudell (2006). Ontologies and Worlds in Category Theory: Implications for Neural Systems. [REVIEW] Axiomathes 16 (1-2):165-214.
Christopher Menzel & Michael Grüninger (2001). A Formal Foundation for Process Modeling. In C. Welty B. Smith (ed.), Formal Ontology and Information Systems. ACM Press.
Fritz Rohrlich (1994). Scientific Explanation: From Covering Law to Covering Theory. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1994:69 - 77.
Mustafa Jarrar, Towards Automated Reasoning on ORM Schemes - Mapping ORM Into the DLRidf Description Logic.
Barry Smith (2008). Ontology (Science). In Formal Ontology in Information Systems.
Anand Kumar & Barry Smith (2003). The Unified Medical Language System and the Gene Ontology: Some Critical Reflections. In KI 2003: Advances in Artificial Intelligence.
Carita Paradis (2005). Ontologies and Construals in Lexical Semantics. Axiomathes 15 (4):541-573.
Dominik Lücke (2010). Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design. [REVIEW] Logica Universalis 4 (2):255-333.
Added to index2009-01-28
Total downloads3 ( #213,130 of 722,764 )
Recent downloads (6 months)0
How can I increase my downloads?