NoHR: Querying EL with Non-monotonic Rules

Matthias Knorr; João Alexandre Carvalho Pinheiro Leite

NoHR: Querying EL with Non-monotonic Rules

Matthias Knorr, João Alexandre Carvalho Pinheiro Leite

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

Abstract

We present NoHR, a Proteg´ e plug-in that allows the user to take an ´ EL+ ? ontology, add a set of non-monotonic (logic programming) rules – suitable e.g. to express defaults and exceptions – and query the combined knowledge base. Provided the given ontology alone is consistent, the system is capable of dealing with potential inconsistencies between the ontology and the rules, and, after an initial brief pre-processing period utilizing OWL 2 EL reasoner ELK, returns answers to queries at an interactive response time by means of XSB Prolog.

Original language	Unknown
Title of host publication	CEUR Workshop Proceedings
Editors	E Blomqvist, T Groza
Publisher	CEUR-WS.org
Pages	17-20
Volume	1035
Publication status	Published - 1 Jan 2013
Event	ISWC 2013: 12th International Semantic Web Conference (Posters and Demonstrations track) - Duration: 1 Jan 2013 → …

Conference

Conference	ISWC 2013: 12th International Semantic Web Conference (Posters and Demonstrations track)
Period	1/01/13 → …

Cite this

@inproceedings{a66c07608a274507b2c08fb4f08166a3,

title = "NoHR: Querying EL with Non-monotonic Rules",

abstract = "We present NoHR, a Proteg´ e plug-in that allows the user to take an ´ EL+ ? ontology, add a set of non-monotonic (logic programming) rules – suitable e.g. to express defaults and exceptions – and query the combined knowledge base. Provided the given ontology alone is consistent, the system is capable of dealing with potential inconsistencies between the ontology and the rules, and, after an initial brief pre-processing period utilizing OWL 2 EL reasoner ELK, returns answers to queries at an interactive response time by means of XSB Prolog.",

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

year = "2013",

month = jan,

day = "1",

language = "Unknown",

volume = "1035",

pages = "17--20",

editor = "E Blomqvist and T Groza",

booktitle = "CEUR Workshop Proceedings",

publisher = "CEUR-WS.org",

note = "ISWC 2013: 12th International Semantic Web Conference (Posters and Demonstrations track) ; Conference date: 01-01-2013",

}

TY - GEN

T1 - NoHR: Querying EL with Non-monotonic Rules

AU - Knorr, Matthias

AU - Leite, João Alexandre Carvalho Pinheiro

PY - 2013/1/1

Y1 - 2013/1/1

N2 - We present NoHR, a Proteg´ e plug-in that allows the user to take an ´ EL+ ? ontology, add a set of non-monotonic (logic programming) rules – suitable e.g. to express defaults and exceptions – and query the combined knowledge base. Provided the given ontology alone is consistent, the system is capable of dealing with potential inconsistencies between the ontology and the rules, and, after an initial brief pre-processing period utilizing OWL 2 EL reasoner ELK, returns answers to queries at an interactive response time by means of XSB Prolog.

AB - We present NoHR, a Proteg´ e plug-in that allows the user to take an ´ EL+ ? ontology, add a set of non-monotonic (logic programming) rules – suitable e.g. to express defaults and exceptions – and query the combined knowledge base. Provided the given ontology alone is consistent, the system is capable of dealing with potential inconsistencies between the ontology and the rules, and, after an initial brief pre-processing period utilizing OWL 2 EL reasoner ELK, returns answers to queries at an interactive response time by means of XSB Prolog.

M3 - Conference contribution

VL - 1035

SP - 17

EP - 20

BT - CEUR Workshop Proceedings

A2 - Blomqvist, E

A2 - Groza, T

PB - CEUR-WS.org

T2 - ISWC 2013: 12th International Semantic Web Conference (Posters and Demonstrations track)

Y2 - 1 January 2013

ER -