David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
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)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library||
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
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.
Dominik Lücke (2010). Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design. [REVIEW] Logica Universalis 4 (2):255-333.
Carita Paradis (2005). Ontologies and Construals in Lexical Semantics. Axiomathes 15 (4):541-573.
Anand Kumar & Barry Smith (2003). The Unified Medical Language System and the Gene Ontology: Some Critical Reflections. In KI 2003: Advances in Artificial Intelligence.
Barry Smith (2008). Ontology (Science). In Luciano Floridi (ed.), Formal Ontology in Information Systems. Blackwell. 153--166.
Mustafa Jarrar, Towards Automated Reasoning on ORM Schemes - Mapping ORM Into the DLRidf Description Logic.
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.
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.
Added to index2009-01-28
Total downloads6 ( #230,646 of 1,410,540 )
Recent downloads (6 months)1 ( #178,988 of 1,410,540 )
How can I increase my downloads?