427 search results - page 26 / 86 » e-Service Composition by Description Logics Based Reasoning |
133
click to vote
KR
2004
Springer
15 years 9 months ago
2004
Springer
Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the often-discus...
162
click to vote
COSIT
1999
Springer
15 years 8 months ago
1999
Springer
We extend the theory about terminological default reasoning by using a logical base language that can represent spatioterminological phenomena. Based on this description logic lang...
120
click to vote
AUSAI
1999
Springer
15 years 8 months ago
1999
Springer
Computing least common subsumers in description logics is an important reasoning service useful for a number of applications. As shown in the literature, this reasoning service ca...
162
click to vote
KR
2010
Springer
15 years 8 months ago
2010
Springer
We investigate the computational complexity of axiom pinpointing, which is the task of finding minimal subsets of a Description Logic knowledge base that have a given consequence...
148
click to vote
DLOG
2007
15 years 6 months ago
2007
We present cq-programs, which enhance nonmonotonic description logics (dl-) programs by conjunctive queries (CQ) and union of conjunctive queries (UCQ) over Description Logics kno...