A Query Tool for EL with Non-monotonic Rules

Vadim Ivanov; Matthias Knorr; João Alexandre Carvalho Pinheiro Leite

doi:10.1007/978-3-642-41335-3_14

A Query Tool for EL with Non-monotonic Rules

Vadim Ivanov, Matthias Knorr, João Alexandre Carvalho Pinheiro Leite

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

16 Citations (Scopus)

24 Downloads (Pure)

Abstract

We present the Protégé plug-in NoHR that allows the user to take anEL+⊤ontology, add a set of non-monotonic (logic programming) rules – suitable e.g. to express defaults and exceptions – and query the combined knowledge base. Our approach uses the well-founded semantics for MKNF knowledge bases as underlying formalism, so no restriction other than DL-safety is imposed on the rules that can be written. The tool itself builds on the procedureSLG(O)and, with the help of OWL 2 EL reasoner ELK, pre-processes the ontology into rules, whose result together with the non-monotonic rules serve as input for the top-down querying engine XSB Prolog. With the resulting plug-in, even queries to very large ontologies, such as SNOMED CT, augmented with a large number of rules, can be processed at an interactive response time after one initial brief pre-processing period. At the same time, our system is able to deal with possible inconsistencies between the rules and an ontology that alone is consistent.

Original language	English
Title of host publication	The Semantic Web: ISWC 2013: 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part I
Editors	H Alani, L Kagal, A Fokoue, PT Groth, C Biemann, JX Parreira, L Aroyo, NF Noy, C Welty, K Janowicz
Place of Publication	Heidelberg
Publisher	Springer Berlin Heidelberg
Pages	216-231
ISBN (Electronic)	978-3-642-41335-3
ISBN (Print)	978-3-642-41334-6
DOIs	https://doi.org/10.1007/978-3-642-41335-3_14
Publication status	Published - 2013
Event	12th International Semantic Web Conference (ISWC 2013) - Sydney, Australia Duration: 21 Oct 2013 → 25 Oct 2013 Conference number: 12th

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin Heidelberg
Number	8218
ISSN (Print)	0302-9743

Conference

Conference	12th International Semantic Web Conference (ISWC 2013)
Abbreviated title	ISWC 2013
Country/Territory	Australia
City	Sydney
Period	21/10/13 → 25/10/13

Keywords

Description Logic
Conjunctive Query
Ground Atom
Atomic Concept
Query Tool

Access to Document

10.1007/978-3-642-41335-3_14Licence: Unspecified

iswc13.pdfAccepted author manuscript, 388 KBLicence: Unspecified

http://link.springer.com/chapter/10.1007%2F978-3-642-41335-3_14Licence: Unspecified

Cite this

Ivanov, V., Knorr, M., & Leite, J. A. C. P. (2013). A Query Tool for EL with Non-monotonic Rules. In H. Alani, L. Kagal, A. Fokoue, PT. Groth, C. Biemann, JX. Parreira, L. Aroyo, NF. Noy, C. Welty, & K. Janowicz (Eds.), The Semantic Web: ISWC 2013: 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part I (pp. 216-231). (Lecture Notes in Computer Science; No. 8218). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-41335-3_14

Ivanov, Vadim ; Knorr, Matthias ; Leite, João Alexandre Carvalho Pinheiro. / A Query Tool for EL with Non-monotonic Rules. The Semantic Web: ISWC 2013: 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part I. editor / H Alani ; L Kagal ; A Fokoue ; PT Groth ; C Biemann ; JX Parreira ; L Aroyo ; NF Noy ; C Welty ; K Janowicz. Heidelberg : Springer Berlin Heidelberg, 2013. pp. 216-231 (Lecture Notes in Computer Science; 8218).

@inproceedings{1410faa395ee47a490960a0e23f01e5f,

title = "A Query Tool for EL with Non-monotonic Rules",

abstract = "We present the Prot{\'e}g{\'e} plug-in NoHR that allows the user to take anEL+⊤ontology, add a set of non-monotonic (logic programming) rules – suitable e.g. to express defaults and exceptions – and query the combined knowledge base. Our approach uses the well-founded semantics for MKNF knowledge bases as underlying formalism, so no restriction other than DL-safety is imposed on the rules that can be written. The tool itself builds on the procedureSLG(O)and, with the help of OWL 2 EL reasoner ELK, pre-processes the ontology into rules, whose result together with the non-monotonic rules serve as input for the top-down querying engine XSB Prolog. With the resulting plug-in, even queries to very large ontologies, such as SNOMED CT, augmented with a large number of rules, can be processed at an interactive response time after one initial brief pre-processing period. At the same time, our system is able to deal with possible inconsistencies between the rules and an ontology that alone is consistent.",

keywords = "Description Logic , Conjunctive Query , Ground Atom , Atomic Concept , Query Tool ",

author = "Vadim Ivanov and Matthias Knorr and Leite, {Jo{\~a}o Alexandre Carvalho Pinheiro}",

note = "We would like to thank Miguel Calejo for his help with InterProlog, Pavel Klinov for his help with ELK, Terry Swift for his help with XSB, and Gonca Gullu for her collaboration. Vadim Ivanov was partially supported by a MULTIC – Erasmus Mundus Action 2 grant. Matthias Knorr and Joao Leite were partially supported by FCT funded project ERRO – Efficient Reasoning with Rules and Ontologies (PTDC/EIA-CCO/121823/2010) and Matthias Knorr also by FCT grant SFRH/BPD/86970/2012.; 12th International Semantic Web Conference (ISWC 2013), ISWC 2013 ; Conference date: 21-10-2013 Through 25-10-2013",

year = "2013",

doi = "10.1007/978-3-642-41335-3_14",

language = "English",

isbn = "978-3-642-41334-6",

series = "Lecture Notes in Computer Science",

publisher = "Springer Berlin Heidelberg",

number = "8218",

pages = "216--231",

editor = "H Alani and L Kagal and A Fokoue and PT Groth and C Biemann and JX Parreira and L Aroyo and NF Noy and C Welty and K Janowicz",

booktitle = "The Semantic Web: ISWC 2013: 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part I",

}

Ivanov, V, Knorr, M & Leite, JACP 2013, A Query Tool for EL with Non-monotonic Rules. in H Alani, L Kagal, A Fokoue, PT Groth, C Biemann, JX Parreira, L Aroyo, NF Noy, C Welty & K Janowicz (eds), The Semantic Web: ISWC 2013: 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part I. Lecture Notes in Computer Science, no. 8218, Springer Berlin Heidelberg, Heidelberg, pp. 216-231, 12th International Semantic Web Conference (ISWC 2013), Sydney, Australia, 21/10/13. https://doi.org/10.1007/978-3-642-41335-3_14

A Query Tool for EL with Non-monotonic Rules. / Ivanov, Vadim; Knorr, Matthias ; Leite, João Alexandre Carvalho Pinheiro.
The Semantic Web: ISWC 2013: 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part I. ed. / H Alani; L Kagal; A Fokoue; PT Groth; C Biemann; JX Parreira; L Aroyo; NF Noy; C Welty; K Janowicz. Heidelberg: Springer Berlin Heidelberg, 2013. p. 216-231 (Lecture Notes in Computer Science; No. 8218).

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

TY - GEN

T1 - A Query Tool for EL with Non-monotonic Rules

AU - Ivanov, Vadim

AU - Knorr, Matthias

AU - Leite, João Alexandre Carvalho Pinheiro

N1 - Conference code: 12th

PY - 2013

Y1 - 2013

N2 - We present the Protégé plug-in NoHR that allows the user to take anEL+⊤ontology, add a set of non-monotonic (logic programming) rules – suitable e.g. to express defaults and exceptions – and query the combined knowledge base. Our approach uses the well-founded semantics for MKNF knowledge bases as underlying formalism, so no restriction other than DL-safety is imposed on the rules that can be written. The tool itself builds on the procedureSLG(O)and, with the help of OWL 2 EL reasoner ELK, pre-processes the ontology into rules, whose result together with the non-monotonic rules serve as input for the top-down querying engine XSB Prolog. With the resulting plug-in, even queries to very large ontologies, such as SNOMED CT, augmented with a large number of rules, can be processed at an interactive response time after one initial brief pre-processing period. At the same time, our system is able to deal with possible inconsistencies between the rules and an ontology that alone is consistent.

AB - We present the Protégé plug-in NoHR that allows the user to take anEL+⊤ontology, add a set of non-monotonic (logic programming) rules – suitable e.g. to express defaults and exceptions – and query the combined knowledge base. Our approach uses the well-founded semantics for MKNF knowledge bases as underlying formalism, so no restriction other than DL-safety is imposed on the rules that can be written. The tool itself builds on the procedureSLG(O)and, with the help of OWL 2 EL reasoner ELK, pre-processes the ontology into rules, whose result together with the non-monotonic rules serve as input for the top-down querying engine XSB Prolog. With the resulting plug-in, even queries to very large ontologies, such as SNOMED CT, augmented with a large number of rules, can be processed at an interactive response time after one initial brief pre-processing period. At the same time, our system is able to deal with possible inconsistencies between the rules and an ontology that alone is consistent.

KW - Description Logic

KW - Conjunctive Query

KW - Ground Atom

KW - Atomic Concept

KW - Query Tool

U2 - 10.1007/978-3-642-41335-3_14

DO - 10.1007/978-3-642-41335-3_14

M3 - Conference contribution

SN - 978-3-642-41334-6

T3 - Lecture Notes in Computer Science

SP - 216

EP - 231

BT - The Semantic Web: ISWC 2013: 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part I

A2 - Alani, H

A2 - Kagal, L

A2 - Fokoue, A

A2 - Groth, PT

A2 - Biemann, C

A2 - Parreira, JX

A2 - Aroyo, L

A2 - Noy, NF

A2 - Welty, C

A2 - Janowicz, K

PB - Springer Berlin Heidelberg

CY - Heidelberg

T2 - 12th International Semantic Web Conference (ISWC 2013)

Y2 - 21 October 2013 through 25 October 2013

ER -

Ivanov V, Knorr M , Leite JACP. A Query Tool for EL with Non-monotonic Rules. In Alani H, Kagal L, Fokoue A, Groth PT, Biemann C, Parreira JX, Aroyo L, Noy NF, Welty C, Janowicz K, editors, The Semantic Web: ISWC 2013: 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part I. Heidelberg: Springer Berlin Heidelberg. 2013. p. 216-231. (Lecture Notes in Computer Science; 8218). doi: 10.1007/978-3-642-41335-3_14

A Query Tool for EL with Non-monotonic Rules

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this