A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
This study includes developing a suitable ontology to represent a simple domain using an ontology editor, representing logical constraints using constructs available within OWL-DL, and then illustrating that some of the classification criteria set for the task cannot be represented within OWL and require logical rules to be added using a rule language to achieve the desired functionality. An automated reasoner is used for classification and the impact of the Open World Assumption ondoi:10.1504/ijtcs.2008.022984 fatcat:ml725atf3rdlfjhgaw5wr3nyqq