Sciweavers

9145 search results - page 133 / 1829
» Description Logic Systems
Sort
View
LREC
2008
133views Education» more  LREC 2008»
15 years 2 months ago
Acquiring Naturalistic Concept Descriptions from the Web
Many of the beliefs that one uses to reason about everyday entities and events are neither strictly true or even logically consistent. Rather, people appear to rely on a large bod...
Tony Veale, Yanfen Hao
DDECS
2006
IEEE
94views Hardware» more  DDECS 2006»
15 years 6 months ago
A System for Transforming an ANSI C Code with OpenMP Directives into a SystemC Description
Abstract— In this paper, we describe a system for transforming a code given in ANSI C into an equivalent SystemC description. In order to synthesize parallel C codes into hardwar...
Piotr Dziurzanski, W. Bielecki, Konrad Trifunovic,...
126
Voted
KI
2009
Springer
15 years 7 months ago
An Argumentation-Based Approach to Handling Inconsistencies in DL-Lite
As a tractable description logic, DL-Lite provides a good compromise between expressive power and computational complexity of inference. It is therefore important to study ways of ...
Xiaowang Zhang, Zuoquan Lin
DLOG
2001
15 years 2 months ago
The Generation of DAML+OIL
daml+oil is a new description logic developed for use within the DAML project and as a submission to the upcoming W3C semantic web ontology working group. It is closely based on t...
Ian Horrocks, Peter F. Patel-Schneider
107
Voted
DLOG
1998
15 years 2 months ago
Learning Composite Concepts
This paper proposes a framework to learn concepts from di erent kinds of observations. We de ne a language to describe meta-concepts, that represent the sets of possible concepts ...
Patrick Lambrix, Pierpaolo Larocchia