Browse > Article

Medusa: An Extended DL-Reasoner for SWRL-enabled Ontologies  

Kim, Je-Min (숭실대학교 컴퓨터과학과)
Park, Young-Tack (숭실대학교 컴퓨터과학과)
Publication Information
Journal of KIISE:Software and Applications / v.36, no.5, 2009 , pp. 411-419 More about this Journal
Abstract
In order to derive hidden Information (concept subsumption, concept satisfiability and realization) of OWL ontologies, a number of OWL reasoners have been introduced. Most of the reasoners were implemented to be based on tableau algorithm. However this approach has certain limitation. This paper presents architecture for Medusa. The Medusa is an extended DL-reasoner for SWRL(Semantic Web Rule Language) reasoning under well-founded semantics with ontologies specified in Description Logic. Description logic based ontology reasoners theoretically explore knowledge representation and its reasoning in concept languages. However these logics are not equipped with rule-based reasoning mechanisms for assertional knowledge base; specifically, rule and facts in logic programming, or interaction of rules and facts with terminology. In order to deal with the enriched reasoning, The Medusa provides combining DL-knowledge base and rule based reasoner. The described prototype uses $Prot{\acute{e}}g{\acute{e}}$ API[1] for controlling communication with the ontology reasoner.
Keywords
Ontology; Tableaux Algorithm; Ontology Reasoner; Description Logic; SWRL Reasoning;
Citations & Related Records
연도 인용수 순위
  • Reference
1 Holger Knublauch.: Protege-OWL API Programmer's Guide. http://protege.stanford.edu/plu gins/owl/api/guide.html. September 21, 2006
2 R. J. Brachman, R. E. Fikes, and H. J. Levesque. KRYPTON: A functional approach to knowledge representation. Computer, pp. 67-73, 1973   DOI   ScienceOn
3 Martin O'Connor, Holger Knublauch, Samson Tu, Mark Musen, Writing Rules for the Semantic Web Using SWRL and Jess, Protege With Rules workshop collocated with 8th International Protege Conference, Bethesda, MD, Madrid, 2005
4 T.R. Gruber. A Translation Approach to Portable Ontology Specifications. Knowledge Acqu isition, pp. 199-220, 1993
5 F. Baader and U. Sattler. An overview of tableau algorithms for description logics. Studia Logica, pp. 5-40, 2001
6 Evren Sirin, Bijan Parsia, Bernardo Cuenca Grau, Aditya Kalyanpur and Yarden Katz. Pellet: A practical OWL-DL reasoner, Journal of Web Semantics, 2007   DOI   ScienceOn
7 M. Dean and G. Schreiber. OWL Web Ontology Language Reference W3C Recommendation. http://www.w3.org/tr/owl-ref/. February 2004
8 Perez, J., Arenas, M., Gutierrez, C.: The semantics and complexity of SPARQL. In: 5th International Semantic Web Conference (ISWC 2006). (2006)   DOI   ScienceOn
9 U. Hustadt, B. Motik, U. Sattler. Reducing SHIQDescrption Logic to Disjunctive Datalog Programs. Proc. of the 9th International Conference on Knowledge Representation and Reasoning (KR2004), Whistler, Canada, pp. 152-162, June 2004
10 RuleML: http://www.ruleml.org/
11 SWRL: http://www.daml.org/rules/proposal/
12 S. Bechhofer, R. Moller, P. Crowther, The DIG description logic interface, in: Proc. Of the Int. Description Logics Workshop (DL 2003), 2003
13 Ontolgy Online, 'http://ontologyonline.org/'