liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Towards richer rule languages with polynomial data complexity for the Semantic Web
Ton Duc Thang University, Vietnam; University of Warsaw, Poland.
Hue University of Sciences, Vietnam.
Linköping University, Department of Computer and Information Science, Artificial Intelligence and Intergrated Computer systems. Linköping University, Faculty of Science & Engineering. University of Warsaw, Poland.
2015 (English)In: Data & Knowledge Engineering, ISSN 0169-023X, Vol. 96-97, 57-77 p.Article in journal (Refereed) Published
Abstract [en]

We introduce a Horn description logic called Horn-DL, which is strictly and essentially richer than Horn-Reg(1), Horn-SHTQ and Horn-SROIQ, while still has PTime data complexity. In comparison with Horn-SROIQ, Horn-DL additionally allows the universal role and assertions of the form irreflexive(s), -s(a, b), a b. More importantly, in contrast to all the well-known Horn fragments epsilon L, DL-Lite, DLP, Horn-SHIQ, and Horn-SROIQ of description logics, Horn-DL allows a form of the concept constructor "universal restriction" to appear at the left hand side of terminological inclusion axioms. Namely, a universal restriction can be used in such places in conjunction with the corresponding existential restriction. We develop the first algorithm with PTime data complexity for checking satisfiability of Horn-DL knowledge bases.

Place, publisher, year, edition, pages
ELSEVIER SCIENCE BV , 2015. Vol. 96-97, 57-77 p.
Keyword [en]
Description logics; Semantic Web; Rule-based languages; Horn fragments; Horn-DL
National Category
Computer Science
URN: urn:nbn:se:liu:diva-120363DOI: 10.1016/j.datak.2015.04.005ISI: 000357627200006OAI: diva2:843859
Available from: 2015-07-31 Created: 2015-07-31 Last updated: 2015-09-01

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Szalas, Andrzej
By organisation
Artificial Intelligence and Intergrated Computer systemsFaculty of Science & Engineering
In the same journal
Data & Knowledge Engineering
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 62 hits
ReferencesLink to record
Permanent link

Direct link