Sciweavers

267 search results - page 15 / 54
» OWL and Qualitative Reasoning Models
Sort
View
SEMWEB
2007
Springer
14 years 3 months ago
An Ontology Design Pattern for Representing Relevance in OWL
Abstract. Design patterns are widely-used software engineering abstractions which define guidelines for modeling common application scenarios. Ontology design patterns are the ext...
Fernando Bobillo, Miguel Delgado, Juan Góme...
OAS
2003
13 years 10 months ago
Using OWL in a Pervasive Computing Broker
Computing is moving toward a pervasive context-aware environment in which agents with limited resources will require external support to help them become context-aware. In this pa...
Harry Chen, Timothy W. Finin, Anupam Joshi
AIED
2005
Springer
14 years 2 months ago
Towards support in building qualitative knowledge models
Qualitative Reasoning (QR) formalisms provide ontological primitives for capturing conceptual knowledge. Recently QR-based diagrammatic tools are being developed to support learne...
Vania Bessa Machado, Roland Groen, Bert Bredeweg
DLOG
2009
13 years 6 months ago
Consequence-Driven Reasoning for Horn SHIQ Ontologies
We present a novel reasoning procedure for Horn SHIQ ontologies--SHIQ ontologies that can be translated to the Horn fragment of first-order logic. In contrast to traditional reaso...
Yevgeny Kazakov
VLDB
2007
ACM
161views Database» more  VLDB 2007»
14 years 3 months ago
Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based ...
Dumitru Roman, Michael Kifer