Implementing and Evaluating a Rule-Based Approach to Querying Regular EL+ Ontologies

Yuting Zhao; Jeff Z. Pan; Yuan Ren

doi:10.1109/HIS.2009.314

Implementing and Evaluating a Rule-Based Approach to Querying Regular EL+ Ontologies

Yuting Zhao, Jeff Z. Pan, Yuan Ren

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

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 EL+, a restriction of a well known description logics based ontology language EL+, by only allowing regular role axioms. It is known that, without such a restriction, query answering in EL+ in general is undividable. In our approach, a regular EL+ 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 EL+ 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 EL+ ontologism.

Original language	English
Title of host publication	2009 Ninth International Conference on Hybrid Intelligent Systems
Editors	Jeng-Shyang Pan, Jie Liu, Ajith Abraham
Publisher	Institute of Electrical and Electronics Engineers
Pages	493-498
Number of pages	6
Volume	3
ISBN (Print)	978-0-7695-3745-0
DOIs	https://doi.org/10.1109/HIS.2009.314
Publication status	Published - 1 Aug 2009
Event	Ninth International Conference on Hybrid Intelligent Systems 2009 - Shenyang, China Duration: 12 Aug 2009 → 14 Aug 2009 Conference number: 9 https://www.mirlabs.net/his09/

Conference

Conference	Ninth International Conference on Hybrid Intelligent Systems 2009
Abbreviated title	HIS 2009
Country/Territory	China
City	Shenyang
Period	12/08/09 → 14/08/09
Internet address	https://www.mirlabs.net/his09/

Access to Document

10.1109/HIS.2009.314Licence: All Rights Reserved

https://ieeexplore.ieee.org/abstract/document/5254626Licence: All Rights Reserved

Cite this

@inproceedings{451ac8ea041643e99f44d01ee3afb108,

title = "Implementing and Evaluating a Rule-Based Approach to Querying Regular EL+ 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 EL+, a restriction of a well known description logics based ontology language EL+, by only allowing regular role axioms. It is known that, without such a restriction, query answering in EL+ in general is undividable. In our approach, a regular EL+ 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 EL+ 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 EL+ ontologism.",

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

year = "2009",

month = aug,

day = "1",

doi = "10.1109/HIS.2009.314",

language = "English",

isbn = "978-0-7695-3745-0",

volume = "3",

pages = "493--498",

editor = "Jeng-Shyang Pan and Jie Liu and Ajith Abraham",

booktitle = "2009 Ninth International Conference on Hybrid Intelligent Systems",

publisher = "Institute of Electrical and Electronics Engineers",

address = "United States",

note = "Ninth International Conference on Hybrid Intelligent Systems 2009, HIS 2009 ; Conference date: 12-08-2009 Through 14-08-2009",

url = "https://www.mirlabs.net/his09/",

}

Zhao, Y, Pan, JZ & Ren, Y 2009, Implementing and Evaluating a Rule-Based Approach to Querying Regular EL+ Ontologies. in J-S Pan, J Liu & A Abraham (eds), 2009 Ninth International Conference on Hybrid Intelligent Systems. vol. 3, Institute of Electrical and Electronics Engineers, pp. 493-498, Ninth International Conference on Hybrid Intelligent Systems 2009, Shenyang, China, 12/08/09. https://doi.org/10.1109/HIS.2009.314

Implementing and Evaluating a Rule-Based Approach to Querying Regular EL+ Ontologies. / Zhao, Yuting; Pan, Jeff Z.; Ren, Yuan.
2009 Ninth International Conference on Hybrid Intelligent Systems. ed. / Jeng-Shyang Pan; Jie Liu; Ajith Abraham. Vol. 3 Institute of Electrical and Electronics Engineers, 2009. p. 493-498.

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

TY - GEN

T1 - Implementing and Evaluating a Rule-Based Approach to Querying Regular EL+ Ontologies

AU - Zhao, Yuting

AU - Pan, Jeff Z.

AU - Ren, Yuan

N1 - Conference code: 9

PY - 2009/8/1

Y1 - 2009/8/1

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 EL+, a restriction of a well known description logics based ontology language EL+, by only allowing regular role axioms. It is known that, without such a restriction, query answering in EL+ in general is undividable. In our approach, a regular EL+ 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 EL+ 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 EL+ ontologism.

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 EL+, a restriction of a well known description logics based ontology language EL+, by only allowing regular role axioms. It is known that, without such a restriction, query answering in EL+ in general is undividable. In our approach, a regular EL+ 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 EL+ 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 EL+ ontologism.

U2 - 10.1109/HIS.2009.314

DO - 10.1109/HIS.2009.314

M3 - Conference contribution

SN - 978-0-7695-3745-0

VL - 3

SP - 493

EP - 498

BT - 2009 Ninth International Conference on Hybrid Intelligent Systems

A2 - Pan, Jeng-Shyang

A2 - Liu, Jie

A2 - Abraham, Ajith

PB - Institute of Electrical and Electronics Engineers

T2 - Ninth International Conference on Hybrid Intelligent Systems 2009

Y2 - 12 August 2009 through 14 August 2009

ER -

Implementing and Evaluating a Rule-Based Approach to Querying Regular EL+ Ontologies

Abstract

Conference

Access to Document

Fingerprint

Cite this