Sciweavers

356 search results - page 8 / 72
» Representation and Reasoning with Attributive Descriptions
Sort
View
JAIR
2007
146views more  JAIR 2007»
13 years 7 months ago
Reasoning with Very Expressive Fuzzy Description Logics
It is widely recognized today that the management of imprecision and vagueness will yield more intelligent and realistic knowledge-based applications. Description Logics (DLs) are...
Giorgos Stoilos, Giorgos B. Stamou, Jeff Z. Pan, V...
WWW
2008
ACM
14 years 8 months ago
A logical framework for modeling and reasoning about semantic web services contract
In this paper, we incorporate concrete domain and action theory into a very expressive Description Logic (DL), called ALCQO. Notably, this extension can significantly augment the ...
Hai Liu, Qing Li, Naijie Gu, An Liu
CI
2002
102views more  CI 2002»
13 years 7 months ago
Topological Spatio-Temporal Reasoning and Representation
We present here a theory of motion from a topological point of view, in a symbolic perspective. Taking space-time histories of objects as primitive entities, we introduce temporal...
Philippe Muller
APIN
2000
75views more  APIN 2000»
13 years 7 months ago
Context Knowledge Representation and Reasoning in the Context Interchange System
The Context Interchange Project presents a unique approach to the problem of semantic conflict resolution among multiple heterogeneous data sources. The system presents a semantic...
Stéphane Bressan, Cheng Hian Goh, Natalia L...
AUSAI
1999
Springer
13 years 11 months ago
Feasibility of Optimised Disjunctive Reasoning for Approximate Matching
Abstract. Description logics are powerful knowledge representation systems providing well-founded and computationally tractable classification reasoning. However recognition of in...
Ian Horrocks, Lin Padgham, Laura Thomson