OWLer: a semantic web ontology inference engine

The semantic Web is an emerging technology regarded as the next generation Web paradigm. In the semantic Web, each resource and service is annotated with semantic markups which are defined in Web ontology language OWL. Therefore research and implementation of practical OWL inference system is very important work for realization of the semantic Web. In this paper, we present design and implementation of OWLer which is an extensible semantic Web ontology inference engine. OWLer engages axiomatization where the semantics of OWL vocabularies is described in a logic programming language, such as FOL, and theorem proving technique is used to infer from OWL ontology. And we also present the test result of OWLer engine with W3C standard entailment test cases