Nominal schemas for integrating rules and description logics

Markus Krötzsch; Frederick Maier; Adila Alfa Krisnadhi; Pascal Hitzler

Nominal schemas for integrating rules and description logics

Markus Krötzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler

Department of Computer Science

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

2 Citations (Scopus)

Abstract

We propose an extension of SROIQ with nominal schemas which can be used like "variable nominal concepts" within axioms. This feature allows us to express arbitrary DL-safe rules in description logic syntax. We show that adding nominal schemas to SROIQ does not increase its worst-case reasoning complexity, and we identify a family of tractable DLs SROELVn that allow for restricted use of nominal schemas.

Original language	English
Pages (from-to)	268-278
Number of pages	11
Journal	CEUR Workshop Proceedings
Volume	745
Publication status	Published - 2011
Event	24th International Workshop on Description Logics, DL 2011 - Barcelona, Spain Duration: 13 Jul 2011 → 16 Jul 2011

Cite this

@article{8d49a641475a478b8780e354ba8cdde5,

title = "Nominal schemas for integrating rules and description logics",

abstract = "We propose an extension of SROIQ with nominal schemas which can be used like {"}variable nominal concepts{"} within axioms. This feature allows us to express arbitrary DL-safe rules in description logic syntax. We show that adding nominal schemas to SROIQ does not increase its worst-case reasoning complexity, and we identify a family of tractable DLs SROELVn that allow for restricted use of nominal schemas.",

author = "Markus Kr{\"o}tzsch and Frederick Maier and Krisnadhi, {Adila Alfa} and Pascal Hitzler",

year = "2011",

language = "English",

volume = "745",

pages = "268--278",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

publisher = "CEUR-WS",

note = "24th International Workshop on Description Logics, DL 2011 ; Conference date: 13-07-2011 Through 16-07-2011",

}

TY - JOUR

T1 - Nominal schemas for integrating rules and description logics

AU - Krötzsch, Markus

AU - Maier, Frederick

AU - Krisnadhi, Adila Alfa

AU - Hitzler, Pascal

PY - 2011

Y1 - 2011

N2 - We propose an extension of SROIQ with nominal schemas which can be used like "variable nominal concepts" within axioms. This feature allows us to express arbitrary DL-safe rules in description logic syntax. We show that adding nominal schemas to SROIQ does not increase its worst-case reasoning complexity, and we identify a family of tractable DLs SROELVn that allow for restricted use of nominal schemas.

AB - We propose an extension of SROIQ with nominal schemas which can be used like "variable nominal concepts" within axioms. This feature allows us to express arbitrary DL-safe rules in description logic syntax. We show that adding nominal schemas to SROIQ does not increase its worst-case reasoning complexity, and we identify a family of tractable DLs SROELVn that allow for restricted use of nominal schemas.

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

M3 - Conference article

AN - SCOPUS:84872899030

SN - 1613-0073

VL - 745

SP - 268

EP - 278

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

T2 - 24th International Workshop on Description Logics, DL 2011

Y2 - 13 July 2011 through 16 July 2011

ER -

Nominal schemas for integrating rules and description logics

Abstract

Other files and links

Fingerprint

Cite this