Implementing and evaluating a rule-based approach to querying regular ε£+ ontologies

Yuting Zhao; Jeff Z. Pan; Yuan Ren

doi:10.1109/HIS.2009.314

Implementing and evaluating a rule-based approach to querying regular ε£+ ontologies

Yuting Zhao^*, Jeff Z. Pan, Yuan Ren

^*Corresponding author for this work

Computing Science

Department of Computing Science

Research output: Chapter in Book/Report/Conference proceeding › Published conference contribution

11 Citations (Scopus)

Abstract

Recent years have witnessed the wide recognition of the importance of ontology and rule in the AI research. In this paper, we report our implementation and evaluation of a rule-based approach to querying regular ε£L+, a restriction of a well known description logics based ontology language ε£+, by only allowing regular role axioms. It is known that, without such a restriction, query answering in ε£+ in general is undecidable. In our approach, a regular ε£+ ontology is first translated into a logic program which contains a set of rules, and then by forward chaining reasoning the pseudo model of the above logic program is calculated. Query answering for ε£+ is rewritten to instance checking in the pseudo model of a logic program. To the best of our knowledge, this is the first report of implementation and evaluation for regular ε£+ ontologies.

Original language	English
Title of host publication	Proceedings - 2009 9th International Conference on Hybrid Intelligent Systems, HIS 2009
Pages	493-498
Number of pages	6
Volume	3
DOIs	https://doi.org/10.1109/HIS.2009.314
Publication status	Published - 27 Nov 2009
Event	2009 9th International Conference on Hybrid Intelligent Systems, HIS 2009 - Shenyang, China Duration: 12 Aug 2009 → 14 Aug 2009

Conference

Conference	2009 9th International Conference on Hybrid Intelligent Systems, HIS 2009
Country/Territory	China
City	Shenyang
Period	12/08/09 → 14/08/09

Bibliographical note

This work has been partially supported by the European Project Marrying Ontologies and Software Technologies (MOST ICT 2008-216691).

Keywords

Ontologies
OWL
Semantic Web
logic programming
hybrid intelligent systems
artificial intelligence
proposals
service oriented architecture
web sites
engines

Access to Document

10.1109/HIS.2009.314Licence: Unspecified

Cite this

Zhao, Y, Pan, JZ & Ren, Y 2009, Implementing and evaluating a rule-based approach to querying regular ε£+ ontologies. in Proceedings - 2009 9th International Conference on Hybrid Intelligent Systems, HIS 2009. vol. 3, 5254626, pp. 493-498, 2009 9th International Conference on Hybrid Intelligent Systems, HIS 2009, Shenyang, China, 12/08/09. https://doi.org/10.1109/HIS.2009.314

@inproceedings{9a7b8014d38e45aa9f0405ce88f69247,

title = "Implementing and evaluating a rule-based approach to querying regular ε£+ ontologies",

abstract = "Recent years have witnessed the wide recognition of the importance of ontology and rule in the AI research. In this paper, we report our implementation and evaluation of a rule-based approach to querying regular ε£L+, a restriction of a well known description logics based ontology language ε£+, by only allowing regular role axioms. It is known that, without such a restriction, query answering in ε£+ in general is undecidable. In our approach, a regular ε£+ ontology is first translated into a logic program which contains a set of rules, and then by forward chaining reasoning the pseudo model of the above logic program is calculated. Query answering for ε£+ is rewritten to instance checking in the pseudo model of a logic program. To the best of our knowledge, this is the first report of implementation and evaluation for regular ε£+ ontologies.",

keywords = "Ontologies, OWL, Semantic Web, logic programming, hybrid intelligent systems, artificial intelligence, proposals, service oriented architecture, web sites, engines",

author = "Yuting Zhao and Pan, {Jeff Z.} and Yuan Ren",

note = "This work has been partially supported by the European Project Marrying Ontologies and Software Technologies (MOST ICT 2008-216691).; 2009 9th International Conference on Hybrid Intelligent Systems, HIS 2009 ; Conference date: 12-08-2009 Through 14-08-2009",

year = "2009",

month = nov,

day = "27",

doi = "10.1109/HIS.2009.314",

language = "English",

isbn = "9780769537450",

volume = "3",

pages = "493--498",

booktitle = "Proceedings - 2009 9th International Conference on Hybrid Intelligent Systems, HIS 2009",

}

TY - GEN

T1 - Implementing and evaluating a rule-based approach to querying regular ε£+ ontologies

AU - Zhao, Yuting

AU - Pan, Jeff Z.

AU - Ren, Yuan

N1 - This work has been partially supported by the European Project Marrying Ontologies and Software Technologies (MOST ICT 2008-216691).

PY - 2009/11/27

Y1 - 2009/11/27

N2 - Recent years have witnessed the wide recognition of the importance of ontology and rule in the AI research. In this paper, we report our implementation and evaluation of a rule-based approach to querying regular ε£L+, a restriction of a well known description logics based ontology language ε£+, by only allowing regular role axioms. It is known that, without such a restriction, query answering in ε£+ in general is undecidable. In our approach, a regular ε£+ ontology is first translated into a logic program which contains a set of rules, and then by forward chaining reasoning the pseudo model of the above logic program is calculated. Query answering for ε£+ is rewritten to instance checking in the pseudo model of a logic program. To the best of our knowledge, this is the first report of implementation and evaluation for regular ε£+ ontologies.

AB - Recent years have witnessed the wide recognition of the importance of ontology and rule in the AI research. In this paper, we report our implementation and evaluation of a rule-based approach to querying regular ε£L+, a restriction of a well known description logics based ontology language ε£+, by only allowing regular role axioms. It is known that, without such a restriction, query answering in ε£+ in general is undecidable. In our approach, a regular ε£+ ontology is first translated into a logic program which contains a set of rules, and then by forward chaining reasoning the pseudo model of the above logic program is calculated. Query answering for ε£+ is rewritten to instance checking in the pseudo model of a logic program. To the best of our knowledge, this is the first report of implementation and evaluation for regular ε£+ ontologies.

KW - Ontologies

KW - OWL

KW - Semantic Web

KW - logic programming

KW - hybrid intelligent systems

KW - artificial intelligence

KW - proposals

KW - service oriented architecture

KW - web sites

KW - engines

UR - http://www.scopus.com/inward/record.url?scp=70450183807&partnerID=8YFLogxK

U2 - 10.1109/HIS.2009.314

DO - 10.1109/HIS.2009.314

M3 - Published conference contribution

AN - SCOPUS:70450183807

SN - 9780769537450

VL - 3

SP - 493

EP - 498

BT - Proceedings - 2009 9th International Conference on Hybrid Intelligent Systems, HIS 2009

T2 - 2009 9th International Conference on Hybrid Intelligent Systems, HIS 2009

Y2 - 12 August 2009 through 14 August 2009

ER -

Implementing and evaluating a rule-based approach to querying regular ε£+ ontologies

Abstract

Conference

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this