Search: onr:"swepub:oai:DiVA.org:liu-107349" >
HornDL: An Expressi...
HornDL: An Expressive Horn Description Logic with PTime Data Complexity
-
Nguyen, Linh Anh (author)
-
Nguyen, Thi-Bich-Loc (author)
-
- Szalas, Andrzej, 1956- (author)
- Linköpings universitet,KPLAB - Laboratoriet för kunskapsbearbetning,Artificiell intelligens och integrerade datorsystem
-
(creator_code:org_t)
- Berlin, Heidelberg : Springer Berlin/Heidelberg, 2013
- 2013
- English.
-
In: Web Reasoning and Rule Systems. - Berlin, Heidelberg : Springer Berlin/Heidelberg. - 9783642396656 - 9783642396663 ; , s. 259-264
- Related links:
-
https://urn.kb.se/re...
-
show more...
-
https://doi.org/10.1...
-
show less...
Abstract
Subject headings
Close
- We introduce a Horn description logic called Horn-DL, which is strictly and essentially richer than Horn- SROIQ , while still has PTime data complexity. In comparison with Horn- SROIQ , HornDL 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 EL , DL-Lite, DLP, Horn- SHIQ , Horn- SROIQ of description logics, HornDL 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. In the long version of this paper, we present the first algorithm with PTime data complexity for checking satisfiability of HornDL knowledge bases.
Subject headings
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Datorsystem (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Computer Systems (hsv//eng)
Publication and Content Type
- ref (subject category)
- kon (subject category)
Find in a library
To the university's database