Sciweavers

1283 search results - page 44 / 257
» Reasoning With Weighted Ontologies
Sort
View
CONTEXT
2007
Springer
15 years 6 months ago
The Difference a Day Makes - Recognizing Important Events in Daily Context Logs
Abstract. We study the extension of context ontologies towards enhanced qualitative spatio-temporal representations and reasoning. Our goal is to model and extract events that are ...
Michael Wessel, Marko Luther, Matthias Wagner
DLOG
2007
15 years 2 months ago
Paraconsistent Resolution for Four-valued Description Logics
Abstract. In this paper, we propose an approach to translating any ALC ontology (possible inconsistent) into a logically consistent set of disjunctive datalog rules. We achieve thi...
Yue Ma, Pascal Hitzler, Zuoquan Lin
ATAL
2006
Springer
15 years 3 months ago
Formalizing typicality of objects and context-sensitivity in ontologies
In multiagent systems ontologies are essential because they facilitate tasks like communications and reasoning. In this paper, inspired by studies in cognitive psychology, we pres...
Ching-man Au Yeung, Ho-fung Leung
IJCAI
2003
15 years 1 months ago
Tucking RCC in Cyc's Ontological Bed
Formalisms and axiomatic theories are designed to support reasoning, they are often intended with a preferred interpretation and a targeted ontology. Questions of proper interpret...
Pierre Grenon
SIGMOD
2008
ACM
150views Database» more  SIGMOD 2008»
14 years 11 months ago
First workshop on transforming and weaving ontologies in model driven engineering (TWOMDE 2008)
The First International Workshop on Transforming and Weaving Ontologies in Model Driven Engineering (TWOMDE 2008), affiliated with the 11th International Conference on Model Drive...
Fernando Silva Parreiras, Jeff Z. Pan, Uwe Aß...