Sciweavers

267 search results - page 7 / 54
» OWL and Qualitative Reasoning Models
Sort
View
HEURISTICS
2006
95views more  HEURISTICS 2006»
13 years 7 months ago
Hard and soft constraints for reasoning about qualitative conditional preferences
Many real life optimization problems are defined in terms of both hard and soft constraints, and qualitative conditional preferences. However, there is as yet no single framework f...
Carmel Domshlak, Steven David Prestwich, Francesca...
IJCAI
1997
13 years 9 months ago
A Causal Time Ontology for Qualitative Reasoning
Aiming at explicit description of temporal meaning of causal relations generated by qualitative reasoning systems, this article proposes a causal time ontology which defines a se...
Yoshinobu Kitamura, Mitsuru Ikeda, Riichiro Mizogu...
FLAIRS
2009
13 years 5 months ago
Unit Testing for Qualitative Spatial and Temporal Reasoning
Researchers in commonsense, qualitative spatial and temporal reasoning (QSTR) provide flexible and intuitive methods for reasoning about vague and uncertain information including ...
Carl P. L. Schultz, Robert Amor, Hans W. Guesgen
EKAW
2006
Springer
13 years 9 months ago
A Formal Approach to Qualitative Reasoning on Topological Properties of Networks
Abstract. Qualitative reasoning uses a limited set of relevant distinctions of the domain to allow a flexible way of representing and reasoning about it. This work presents a conce...
Andrea Rodríguez, Claudio Gutierrez
OWLED
2008
13 years 9 months ago
Pellint - A Performance Lint Tool for Pellet
Predicting the performance of a tableau reasoner for an OWL ontology is generally hard. It is even harder for users who are not familiar with the details of tableau algorithms. In ...
Harris Lin, Evren Sirin