• Dec 26, 2017 News!Vol. 4, No. 1-No.3 has been indexed by EI (Inspec).   [Click]
  • Dec 26, 2017 News!Vol. 3, No. 4 has been indexed by EI (Inspec).   [Click]
  • Dec 25, 2017 News!Welcome to 2018 7th International Conference on Software and Computing Technologies (ICSCT 2018), which will be held in Kuala Lumpur during April 7-9, 2018.   [Click]
General Information
    • ISSN: 2301-3559
    • Frequency: Quarterly
    • DOI: 10.18178/LNSE
    • Editor-in-Chief: Prof. Jemal Antidze
    • Executive Editor: Ms. Nina Lee
    • Abstracting/ Indexing: EI (INSPEC, IET), Electronic Journals Library,  Ulrich's Periodicals Directory, International Computer Science Digital Library (ICSDL), ProQuest and Google Scholar.
    • E-mail: lnse@ejournal.net
Prof. Jemal Antidze
I. Vekua Scientific Institute of Applied Mathematics
Tbilisi State University, Georgia
I'm happy to take on the position of editor in chief of LNSE. We encourage authors to submit papers concerning any branch of Software Engineering.

LNSE 2013 Vol.1(3): 249-253 ISSN: 2301-3559
DOI: 10.7763/LNSE.2013.V1.54

Solving Query-Answering Problems for the Semantic Web Using Equivalent Transformation

Kiyoshi Akama, Ekawit Nantajeewarawat, and Hidekatsu Koike
Abstract—A query-answering problem (QA problem) is an “all-answers finding” problem concerning with finding all ground instances of a query atomic formula that are logical consequences of a given logical formula. Based on the equivalent transformation (ET) principle, we propose a general framework for solving QA problems on Description Logics, which are logical formalisms underlying the Ontology Web Language OWL-DL. To solve such a QA problem using this framework, axioms and assertions representing the background knowledge of the problem are converted into a conjunction of first-order formulas, which is further converted by meaning-preserving Skolemization into a set of extended clauses typically containing global existential quantifications of function variables. The obtained clause set is then transformed successively using ET rules until the answer set of the original problem can be readily derived. ET rules for unfolding extended clauses, for removing useless extended clauses, and for dealing with function variables are presented. Application of the framework is illustrated.

Index Terms—Equivalent transformation, query answering problems, unfolding, skolemization, extended clause.

K. Akama is with the Information Initiative Center, Hokkaido University, Hokkaido, Japan (e-mail: akama@iic.hokudai.ac.jp).
E. Nantajeewarawat is with the Computer Science Program, School of Information, Computer and Communication Technology, Sirindhorn International Institute of Technology, Thammasat University, Pathumthani, Thailand (e-mail: ekawit@siit.tu.ac.th).
H. Koike is with the Faculty of Social Information, Sapporo Gakuin University, Hokkaido, Japan (e-mail: koike@sgu.ac.jp).


Cite: Kiyoshi Akama, Ekawit Nantajeewarawat, and Hidekatsu Koike, "Solving Query-Answering Problems for the Semantic Web Using Equivalent Transformation," Lecture Notes on Software Engineering vol. 1, no. 3, pp. 249-253, 2013.

Copyright © 2008-2015. Lecture Notes on Software Engineering. All rights reserved.
E-mail: lnse@ejournal.net