OWL 2 Web Ontology Language: Structural Specification and Functional-Style Syntax
- Boris Motik, Peter F. Patel-Schneider, Ian Horrocks
It is essential to be able to incorporate representation of quantities into models of many domains. Many ontologies attempt to axiomatize a theory of quantities in OWL so that they may incorporate quantities in their ontologies. However, OWL based axiomatizations suffer from a number of problems including the impossibility of representing (and computing) conversions in OWL 1. While there are proposed extensions to OWL that would allow for linear equations (and thus, in principle, handle a large class of conversions), we argue that OWL based axiomatizations are, nevertheless, suboptimal from several perspectives. Instead, we propose a new datatype system for handling quantities and show that it is superior from both a modeling and an implementation point of view.