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

Content Provider	ACM Digital Library
Author	Eiter, Thomas Lukasiewicz, Thomas Schindlauer, Roman Ianni, Giovambattista
Copyright Year	2011
Abstract	The realization of the Semantic Web vision, in which computational logic has a prominent role, has stimulated a lot of research on combining rules and ontologies, which are formulated in different formalisms. In particular, combining logic programming with the Web Ontology Language (OWL), which is a standard based on description logics, emerged as an important issue for linking the Rules and Ontology Layers of the Semantic Web. Nonmonotonic description logic programs $(\textit{dl-programs})$ were introduced for such a combination, in which a pair $\textit{(L,P)}$ of a description logic knowledge base $\textit{L}$ and a set of rules $\textit{P}$ with negation as failure is given a model-based semantics that generalizes the answer set semantics of logic programs. In this article, we reconsider dl-programs and present a well-founded semantics for them as an analog for the other main semantics of logic programs. It generalizes the canonical definition of the well-founded semantics based on unfounded sets, and, as we show, lifts many of the well-known properties from ordinary logic programs to dl-programs. Among these properties, our semantics amounts to a partial model approximating the answer set semantics, which yields for positive and stratified dl-programs, a total model coinciding with the answer set semantics; it has polynomial data complexity provided the access to the description logic knowledge base is polynomial; under suitable restrictions, it has lower complexity and even first-order rewritability is achievable. The results add to previous evidence that dl-programs are a versatile and robust combination approach, which moreover is implementable using legacy engines.
Starting Page	1
Ending Page	41
Page Count	41
File Format	PDF
ISSN	15293785
e-ISSN	1557945X
DOI	10.1145/1877714.1877717
Volume Number	12
Issue Number	2
Journal	ACM Transactions on Computational Logic (TOCL)
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2011-01-27
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Answer set semantics Description logic programs Description logics Normal logic programs Semantic Web Well-founded semantic
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

A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web

Computing Loops with at Most One External Support Rule

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

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

Tightly coupled fuzzy rough description logic programs under the answer set semantics for the semantic web

Well-founded semantics for description logic programs in the Semantic Web (2009)

Well-Founded Semantics for Description Logic Programs

Well-founded semantics for description logic programs (2004)

A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web (2010)

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

Similar Documents

A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web

Computing Loops with at Most One External Support Rule

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

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

Tightly coupled fuzzy rough description logic programs under the answer set semantics for the semantic web

Well-founded semantics for description logic programs in the Semantic Web (2009)

Well-Founded Semantics for Description Logic Programs

Well-founded semantics for description logic programs (2004)

A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web (2010)

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