Research of ontology description languages with value restrictions
Yu Sheng Sun · Computer Engineering and Applications Journal · 2009
Ontologies and inheritance nets are similar in some aspects and based on methods of translating inheritance nets to default logic,the default theories of ontologies are given.An ontology includes a set of concepts and constraints imposing on these concepts.The statements in ontologies are translated to facts of default theories of the ontologies and the default inheritance of properties are represented by normal defaults with a priority order on them due to the intuition that subclasses overriding superclasses.After giving the definition and deduction rules of ontologies,the default theories of ontologies are proposed and their features are discussed.