All but not nothing: Left-hand side universals for tractable OWL profiles

David Carral; Adila Alfa Krisnadhi; Sebastian Rudolph; Pascal Hitzler

All but not nothing: Left-hand side universals for tractable OWL profiles

David Carral, Adila Alfa Krisnadhi, Sebastian Rudolph, Pascal Hitzler

Department of Computer Science

Research output: Contribution to journal › Conference article › peer-review

2 Citations (Scopus)

Abstract

We show that occurrences of the universal quanti er in the left-hand side of general concept inclusions can be rewritten into ε葦++ axioms under certain circumstances. I.e., this intuitive modeling feature is available for OWL EL while retaining tractability. Furthermore, this rewriting makes it possible to reason over corresponding extensions of ε葦++ and Horn-SROIQ using standard reasoners.

Original language	English
Pages (from-to)	97-108
Number of pages	12
Journal	CEUR Workshop Proceedings
Volume	1265
Publication status	Published - 2014
Event	11th International Workshop on OWL: Experiences and Directions, OWLED 2014, Co-Located with 13th International Semantic Web Conference, ISWC 2014 - Riva del Garda, Italy Duration: 17 Oct 2014 → 18 Oct 2014

Cite this

@article{d38c584746fe4086830a128379f77665,

title = "All but not nothing: Left-hand side universals for tractable OWL profiles",

abstract = "We show that occurrences of the universal quanti er in the left-hand side of general concept inclusions can be rewritten into ε葦++ axioms under certain circumstances. I.e., this intuitive modeling feature is available for OWL EL while retaining tractability. Furthermore, this rewriting makes it possible to reason over corresponding extensions of ε葦++ and Horn-SROIQ using standard reasoners.",

author = "David Carral and Krisnadhi, {Adila Alfa} and Sebastian Rudolph and Pascal Hitzler",

year = "2014",

language = "English",

volume = "1265",

pages = "97--108",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

publisher = "CEUR-WS",

note = "11th International Workshop on OWL: Experiences and Directions, OWLED 2014, Co-Located with 13th International Semantic Web Conference, ISWC 2014 ; Conference date: 17-10-2014 Through 18-10-2014",

}

TY - JOUR

T1 - All but not nothing

T2 - 11th International Workshop on OWL: Experiences and Directions, OWLED 2014, Co-Located with 13th International Semantic Web Conference, ISWC 2014

AU - Carral, David

AU - Krisnadhi, Adila Alfa

AU - Rudolph, Sebastian

AU - Hitzler, Pascal

PY - 2014

Y1 - 2014

N2 - We show that occurrences of the universal quanti er in the left-hand side of general concept inclusions can be rewritten into ε葦++ axioms under certain circumstances. I.e., this intuitive modeling feature is available for OWL EL while retaining tractability. Furthermore, this rewriting makes it possible to reason over corresponding extensions of ε葦++ and Horn-SROIQ using standard reasoners.

AB - We show that occurrences of the universal quanti er in the left-hand side of general concept inclusions can be rewritten into ε葦++ axioms under certain circumstances. I.e., this intuitive modeling feature is available for OWL EL while retaining tractability. Furthermore, this rewriting makes it possible to reason over corresponding extensions of ε葦++ and Horn-SROIQ using standard reasoners.

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

M3 - Conference article

AN - SCOPUS:84909638374

SN - 1613-0073

VL - 1265

SP - 97

EP - 108

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

Y2 - 17 October 2014 through 18 October 2014

ER -

All but not nothing: Left-hand side universals for tractable OWL profiles

Abstract

Other files and links

Fingerprint

Cite this