1462 search results - page 28 / 293 » Autoepistemic Description Logics |
117
click to vote
RWEB
2009
Springer
15 years 8 months ago
2009
Springer
In this chapter we will introduce description logics, a family of logic-based knowledge representation languages that can be used to represent the terminological knowledge of an a...
102
Voted
ASPDAC
2004
ACM
15 years 7 months ago
2004
ACM
Much attention has been directed to different aspects of the design of pipelines [1,2,3,4]. Design of the control logic of non-linear pipelines has however, been considered as a su...
117
click to vote
DLOG
2003
15 years 3 months ago
2003
In a previous paper we have investigated subsumption in the presence of terminological cycles for the description logic EL, which allows conjunctions, existential restrictions, an...
115
click to vote
AAAI
2000
15 years 3 months ago
2000
A serious shortcoming of many Description Logic based knowledge representation systems is the inadequacy of their query languages. In this paper we present a novel technique that ...
173
click to vote
HIS
2009
14 years 11 months ago
2009
Recent years have witnessed the wide recognition of the importance of ontology and rule in the AI research. In this paper, we report our implementation and evaluation of a rule-ba...