Sciweavers

1835 search results - page 22 / 367
» Classifying Description Logics
Sort
View
ASPDAC
2004
ACM
83views Hardware» more  ASPDAC 2004»
15 years 7 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
119
Voted
DLOG
2003
15 years 3 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
15 years 3 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
FSKD
2006
Springer
115views Fuzzy Logic» more  FSKD 2006»
15 years 5 months ago
Improvement of Decision Accuracy Using Discretization of Continuous Attributes
Abstract. The na
Qingxiang Wu, David A. Bell, T. Martin McGinnity, ...
DLOG
2009
14 years 11 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