Querying in ℰℒ+ with nonmonotonic rules

Matthias Knorr; José Júlio Alferes

doi:10.3233/978-1-60750-606-5-1079

Querying in ℰℒ⁺ with nonmonotonic rules

Matthias Knorr, José Júlio Alferes

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

4 Citations (Scopus)

Abstract

A general top-down algorithmization for the Well-Founded MKNF Semantics - a semantics for combining rules and ontologies - was recently defined based on an extension of SLG resolution for Logic Programming with an abstract oracle to the parametric ontology language. Here we provide a concrete oracle with practical usage, namely for ℰℒ⁺ which is tractable for reasoning tasks like subsumption. We show that the defined oracle remains tractable (wrt. data complexity) so that the combined (query-driven) approach of non-monotonic rules with that oracle is tractable as well.

Original language	English
Title of host publication	ECAI 2010 - 19th European Conference on Artificial Intelligence
Editors	H. Coelho, R. Studer, M. Wooldridge
Publisher	{IOS} Press
Pages	1079-1080
Number of pages	2
ISBN (Print)	9781607506058
DOIs	https://doi.org/10.3233/978-1-60750-606-5-1079
Publication status	Published - 1 Jan 2010
Event	2nd Workshop on Knowledge Representation for Health Care, KR4HC 2010, held in conjunction with the 19th European Conference in Artificial Intelligence, ECAI 2010 - Lisbon, Portugal Duration: 17 Aug 2010 → 17 Aug 2010

Publication series

Name	Frontiers in Artificial Intelligence and Applications
Publisher	{IOS} Press
Volume	215
ISSN (Print)	0922-6389

Conference

Conference	2nd Workshop on Knowledge Representation for Health Care, KR4HC 2010, held in conjunction with the 19th European Conference in Artificial Intelligence, ECAI 2010
Country/Territory	Portugal
City	Lisbon
Period	17/08/10 → 17/08/10

Access to Document

10.3233/978-1-60750-606-5-1079

Cite this

@inproceedings{6c0dde2439264496b1d66bed764c6d46,

title = "Querying in ℰℒ+ with nonmonotonic rules",

abstract = "A general top-down algorithmization for the Well-Founded MKNF Semantics - a semantics for combining rules and ontologies - was recently defined based on an extension of SLG resolution for Logic Programming with an abstract oracle to the parametric ontology language. Here we provide a concrete oracle with practical usage, namely for ℰℒ+ which is tractable for reasoning tasks like subsumption. We show that the defined oracle remains tractable (wrt. data complexity) so that the combined (query-driven) approach of non-monotonic rules with that oracle is tractable as well.",

author = "Matthias Knorr and Alferes, {Jos{\'e} J{\'u}lio}",

year = "2010",

month = jan,

day = "1",

doi = "10.3233/978-1-60750-606-5-1079",

language = "English",

isbn = "9781607506058",

series = "Frontiers in Artificial Intelligence and Applications",

publisher = "{IOS} Press",

pages = "1079--1080",

editor = "H. Coelho and R. Studer and M. Wooldridge",

booktitle = "ECAI 2010 - 19th European Conference on Artificial Intelligence",

note = "2nd Workshop on Knowledge Representation for Health Care, KR4HC 2010, held in conjunction with the 19th European Conference in Artificial Intelligence, ECAI 2010 ; Conference date: 17-08-2010 Through 17-08-2010",

}

Knorr, M & Alferes, JJ 2010, Querying in ℰℒ⁺ with nonmonotonic rules. in H Coelho, R Studer & M Wooldridge (eds), ECAI 2010 - 19th European Conference on Artificial Intelligence. Frontiers in Artificial Intelligence and Applications, vol. 215, {IOS} Press, pp. 1079-1080, 2nd Workshop on Knowledge Representation for Health Care, KR4HC 2010, held in conjunction with the 19th European Conference in Artificial Intelligence, ECAI 2010, Lisbon, Portugal, 17/08/10. https://doi.org/10.3233/978-1-60750-606-5-1079

Querying in ℰℒ⁺ with nonmonotonic rules. / Knorr, Matthias ; Alferes, José Júlio.
ECAI 2010 - 19th European Conference on Artificial Intelligence. ed. / H. Coelho; R. Studer; M. Wooldridge. {IOS} Press, 2010. p. 1079-1080 (Frontiers in Artificial Intelligence and Applications; Vol. 215).

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

TY - GEN

T1 - Querying in ℰℒ+ with nonmonotonic rules

AU - Knorr, Matthias

AU - Alferes, José Júlio

PY - 2010/1/1

Y1 - 2010/1/1

N2 - A general top-down algorithmization for the Well-Founded MKNF Semantics - a semantics for combining rules and ontologies - was recently defined based on an extension of SLG resolution for Logic Programming with an abstract oracle to the parametric ontology language. Here we provide a concrete oracle with practical usage, namely for ℰℒ+ which is tractable for reasoning tasks like subsumption. We show that the defined oracle remains tractable (wrt. data complexity) so that the combined (query-driven) approach of non-monotonic rules with that oracle is tractable as well.

AB - A general top-down algorithmization for the Well-Founded MKNF Semantics - a semantics for combining rules and ontologies - was recently defined based on an extension of SLG resolution for Logic Programming with an abstract oracle to the parametric ontology language. Here we provide a concrete oracle with practical usage, namely for ℰℒ+ which is tractable for reasoning tasks like subsumption. We show that the defined oracle remains tractable (wrt. data complexity) so that the combined (query-driven) approach of non-monotonic rules with that oracle is tractable as well.

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

U2 - 10.3233/978-1-60750-606-5-1079

DO - 10.3233/978-1-60750-606-5-1079

M3 - Conference contribution

AN - SCOPUS:77956014557

SN - 9781607506058

T3 - Frontiers in Artificial Intelligence and Applications

SP - 1079

EP - 1080

BT - ECAI 2010 - 19th European Conference on Artificial Intelligence

A2 - Coelho, H.

A2 - Studer, R.

A2 - Wooldridge, M.

PB - {IOS} Press

T2 - 2nd Workshop on Knowledge Representation for Health Care, KR4HC 2010, held in conjunction with the 19th European Conference in Artificial Intelligence, ECAI 2010

Y2 - 17 August 2010 through 17 August 2010

ER -