Sciweavers

635 search results - page 34 / 127
» Reasoning About Quantum Knowledge
Sort
View
128
Voted
CSSW
2007
15 years 1 months ago
Discovering Unknown Connections - the DBpedia Relationship Finder
: The Relationship Finder is a tool for exploring connections between objects in a Semantic Web knowledge base. It offers a new way to get insights about elements in an ontology, i...
Jens Lehmann, Jörg Schüppel, Sören ...
CADE
2000
Springer
15 years 4 months ago
Reasoning with Individuals for the Description Logic SHIQ
Abstract. While there has been a great deal of work on the development of reasoning algorithms for expressive description logics, in most cases only Tbox reasoning is considered. I...
Ian Horrocks, Ulrike Sattler, Stephan Tobies
123
Voted
KI
2010
Springer
14 years 11 months ago
Spatial Cognition: Reasoning, Action, Interaction
ut spatial environments, be it real or abstract, human or machine. Research issues range from human spatial cognition to mobile robot navigation. Numerous results have been obtaine...
Christian Freksa, Holger Schultheis, Kerstin Schil...
107
Voted
BSN
2006
IEEE
131views Sensor Networks» more  BSN 2006»
15 years 6 months ago
Elaborating Sensor Data using Temporal and Spatial Commonsense Reasoning
Ubiquitous computing has established a vision of computation where computers are so deeply integrated into our lives that they become both invisible and everywhere. In order to ha...
Bo Morgan, Push Singh
167
Voted
AI
2008
Springer
15 years 17 days ago
Expressive probabilistic description logics
The work in this paper is directed towards sophisticated formalisms for reasoning under probabilistic uncertainty in ontologies in the Semantic Web. Ontologies play a central role...
Thomas Lukasiewicz