NDLI: DL-Lite Ontology Revision Based on An Alternative Semantic Characterization

Please wait, while we are loading the content...

ACM Transactions on Computational Logic (TOCL) : Volume 17

ACM Transactions on Computational Logic (TOCL) : Volume 16

Issue 4, November 2015

Erratum for “Randomization in Automata on Infinite Trees”

From Small Space to Small Width in Resolution

Abstraction in Fixpoint Logic

Concurrent Dynamic Algebra

DL-Lite Ontology Revision Based on An Alternative Semantic Characterization

Dynamic Reasoning Systems

Łukasiewicz Games: A Logic-Based Approach to Quantitative Strategic Interactions

Ramsey-Based Inclusion Checking for Visibly Pushdown Automata

Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer)

Issue 3, July 2015

Issue 2, March 2015

Issue 1, March 2015

ACM Transactions on Computational Logic (TOCL) : Volume 15

ACM Transactions on Computational Logic (TOCL) : Volume 14

ACM Transactions on Computational Logic (TOCL) : Volume 13

ACM Transactions on Computational Logic (TOCL) : Volume 12

ACM Transactions on Computational Logic (TOCL) : Volume 11

ACM Transactions on Computational Logic (TOCL) : Volume 10

ACM Transactions on Computational Logic (TOCL) : Volume 9

ACM Transactions on Computational Logic (TOCL) : Volume 8

ACM Transactions on Computational Logic (TOCL) : Volume 7

ACM Transactions on Computational Logic (TOCL) : Volume 6

ACM Transactions on Computational Logic (TOCL) : Volume 5

ACM Transactions on Computational Logic (TOCL) : Volume 4

ACM Transactions on Computational Logic (TOCL) : Volume 3

ACM Transactions on Computational Logic (TOCL) : Volume 2

ACM Transactions on Computational Logic (TOCL) : Volume 1

DL-Lite Ontology Revision Based on An Alternative Semantic Characterization

Content Provider	ACM Digital Library
Author	Wang, Zhe Wang, Kewen Topor, Rodney
Copyright Year	2015
Abstract	Ontology engineering and maintenance require (semi-)automated ontology change operations. Intensive research has been conducted on TBox and ABox changes in description logics (DLs), and various change operators have been proposed in the literature. Existing operators largely fall into two categories: syntax-based and model-based. While each approach has its advantages and disadvantages, an important topic that has rarely been explored is how to achieve a balance between syntax-based and model-based approaches. Also, most existing operators are specially designed for either TBox change $\textit{or}$ ABox change, and cannot handle the general ontology revision task—given a DL knowledge base (KB, a pair consisting of a TBox and an ABox), how to revise it by a set of TBox and ABox axioms $(\textit{i.e.},$ a new DL KB). In this article, we introduce an alternative structure for DL-Lite, called a featured interpretation, and show that featured models provide a finite and tight characterization to the classical semantics of DL-Lite. A key issue for defining a change operator is the so-called expressibility, that is, whether a set of models (or featured models here) is axiomatizable in DLs. It is indeed much easier to obtain expressibility results for featured models than for classical DL models. As a result, the new semantics determined by featured models provides a method for defining and studying various changes of DL-Lite KBs that involve both TBoxes and ABoxes. To demonstrate the usefulness of the new semantic characterization in ontology change, we define two revision operators for DL-Lite KBs using featured models and study their properties. In particular, we show that our two operators both satisfy AGM postulates. We show that the complexity of our revisions is $Π^{P}_{2}-complete,$ that is, on the same level as major revision operators in propositional logic, which further justifies the feasibility of our revision approach for DL-Lite. Also, we develop algorithms for these DL-Lite revisions.
Starting Page	1
Ending Page	37
Page Count	37
File Format	PDF
ISSN	15293785
e-ISSN	1557945X
DOI	10.1145/2786759
Volume Number	16
Issue Number	4
Journal	ACM Transactions on Computational Logic (TOCL)
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2015-08-17
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	DL-Lite Description logics Ontology change Revision
Content Type	Text
Resource Type	Article
Subject	Theoretical Computer Science Logic Computational Mathematics Computer Science

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family

Complexities of Horn Description Logics

Well-founded semantics for description logic programs in the semantic web

Knowledge base revision in description logics (2006)

Description logics of minimal knowledge and negation as failure

LTL over description logic axioms

Instance-driven TBox Revision in DL-Lite

Forgetting for knowledge bases in DL-Lite

Datalog LITE: a deductive query language with linear time model checking

DL-Lite Ontology Revision Based on An Alternative Semantic Characterization

Similar Documents

Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family

Complexities of Horn Description Logics

Well-founded semantics for description logic programs in the semantic web

Knowledge base revision in description logics (2006)

Description logics of minimal knowledge and negation as failure

LTL over description logic axioms

Instance-driven TBox Revision in DL-Lite

Forgetting for knowledge bases in DL-Lite

Datalog LITE: a deductive query language with linear time model checking

DL-Lite Ontology Revision Based on An Alternative Semantic Characterization