Sciweavers

1545 search results - page 38 / 309
» Defeasible Description Logics
Sort
View
RWEB
2009
Springer
14 years 2 months ago
Description Logics
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...
Franz Baader
ASPDAC
2004
ACM
83views Hardware» more  ASPDAC 2004»
14 years 1 months ago
A procedure for obtaining a behavioral description for the control logic of a non-linear pipeline
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...
Hashem Hashemi Najaf-abadi
DLOG
2003
13 years 9 months ago
Restricted Role-value-maps in a Description Logic with Existential Restrictions and Terminological Cycles
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...
Franz Baader
AAAI
2000
13 years 9 months ago
A Conjunctive Query Language for Description Logic Aboxes
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 ...
Ian Horrocks, Sergio Tessaris
DLOG
2009
13 years 5 months ago
Quasi-Classical Semantics for Expressive Description Logics
Abstract. Inconsistency handling in expressive description logics is an important problem because inconsistency may naturally occur in an open world. In this paper, we present the ...
Xiaowang Zhang, Guilin Qi, Yue Ma, Zuoquan Lin