Sökning: id:"swepub:oai:DiVA.org:liu-107349" >
HornDL: An Expressi...
HornDL: An Expressive Horn Description Logic with PTime Data Complexity
-
Nguyen, Linh Anh (författare)
-
Nguyen, Thi-Bich-Loc (författare)
-
- Szalas, Andrzej, 1956- (författare)
- Linköpings universitet,KPLAB - Laboratoriet för kunskapsbearbetning,Artificiell intelligens och integrerade datorsystem
-
(creator_code:org_t)
- Berlin, Heidelberg : Springer Berlin/Heidelberg, 2013
- 2013
- Engelska.
-
Ingår i: Web Reasoning and Rule Systems. - Berlin, Heidelberg : Springer Berlin/Heidelberg. - 9783642396656 - 9783642396663 ; , s. 259-264
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Datorsystem (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Computer Systems (hsv//eng)
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas