基于本体的推理技术的相关研究

Ontology describes the resource itself and the abundant semantic relations between the resources, it is a key application for ontology as the one of the layers of semantic web to make intelligent inference using the entailments contained in the ontology. OWL is the W3C recommendation language.. It introduces theories of the reasoner and some popular web related reasoners. It introduces the architecture of common reasoners, especially analyzes the Jena’s own reasoners and the open source reasoner Pellet. We design a family relation ontology example for testing the reasoners. This example analyzes how to combine the inner reasoner’s common knowledge with the user-defined rules for inferring, the way of using outer reasoner via DIG or API. Finally it explores the way of solving single reasoner’s inference nsufficiency by using technology called reasoner cascade.