OWLer: a semantic web ontology inference engine

Author

Ha, Young-Guk ; Soh, Joo-Chan ; Cho, Young-Jo

Author_Institution

Intelligent Robot Res. Div., Electron. & Telecommun. Res. Inst.

Volume

2

fYear

0

fDate

0-0 0

Firstpage

1077

Lastpage

1080

Abstract

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

Keywords

inference mechanisms; logic programming languages; ontologies (artificial intelligence); semantic Web; theorem proving; FOL logic programming language; OWL vocabularies; OWLer axiomatization; Web ontology language; description logic; first order logic; semantic Web ontology inference engine; theorem proving technique; Engines; Intelligent agent; Logic programming; OWL; Ontologies; Robots; Semantic Web; Service oriented architecture; Testing; Vocabulary;

fLanguage

English

Publisher

ieee

Conference_Titel

Advanced Communication Technology, 2005, ICACT 2005. The 7th International Conference on

Conference_Location

Phoenix Park

Type

conf

DOI

10.1109/ICACT.2005.246145

Filename

1462970