Sciweavers

267 search results - page 10 / 54
» OWL and Qualitative Reasoning Models
Sort
View
OWLED
2007
13 years 9 months ago
Extending Fuzzy Description Logics for the Semantic Web
Fuzzy Description Logics (Fuzzy DLs) and fuzzy OWL have been proposed as languages able to represent and reason about imprecise and vague knowledge. Such extensions have gained con...
Giorgos Stoilos, Giorgos B. Stamou
KR
1998
Springer
13 years 12 months ago
A Qualitative Theory of Motion Based on Spatio-Temporal Primitives
This paper presents a formal theory for reasoning about motion of spatial entities, in a qualitative framework. Taking over a theory intended forspatial entities, we enrich ittoac...
Philippe Muller
ISMB
1998
13 years 9 months ago
BioSim: A New Qualitative Simulation Environment for Molecular Biology
Traditionally, biochemical systems are modelled usingkinetics anddifferential equationsin a quantitative simulator. However,for manybiological processes detailed quantitative info...
Karsten R. Heidtke, Steffen Schulze-Kremer
KR
1994
Springer
13 years 11 months ago
Toward a Logic for Qualitative Decision Theory
We present a logic for representing and reasoning with qualitative statements of preference and normality and describe how these may interact in decision making under uncertainty....
Craig Boutilier
ER
2006
Springer
157views Database» more  ER 2006»
13 years 11 months ago
Representing Transitive Propagation in OWL
Transitive propagation along properties can be modelled in various ways in the OWL description logic. Doing so allows existing description logic reasoners based on the tableaux alg...
Julian Seidenberg, Alan L. Rector