Sciweavers

62 search results - page 2 / 13
» Consistent Hybrid Knowledge Representation in Order-Sorted L...
Sort
View
AGILE
2007
Springer
184views GIS» more  AGILE 2007»
13 years 11 months ago
Towards Spatial Reasoning in the Semantic Web: A Hybrid Knowledge Representation System Architecture
Environmental databases store a wide variety of data from heterogeneous sources which are described with domain-specific terminologies and refer to distinct locations. In order to ...
Rolf Grütter, Bettina Bauer-Messmer
JAPLL
2006
112views more  JAPLL 2006»
13 years 5 months ago
Intuitionistic hybrid logic
Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first const...
Torben Braüner, Valeria de Paiva
SOFSEM
2010
Springer
14 years 2 months ago
A Social Vision of Knowledge Representation and Reasoning
Knowledge representation and reasoning so far have focused on the ideal ultimate goal, thus stressing logical consistency and semantic homogeneity. On the way to consistent and hom...
François Bry, Jakub Kotowski
CORR
2007
Springer
98views Education» more  CORR 2007»
13 years 5 months ago
Guarded Hybrid Knowledge Bases
Recently, there has been a lot of interest in the integration of Description Logics and rules on the Semantic Web. We define guarded hybrid knowledge bases (or g-hybrid knowledge...
Stijn Heymans, Jos de Bruijn, Livia Predoiu, Crist...
ASWC
2008
Springer
13 years 7 months ago
Bounded Ontological Consistency for Scalable Dynamic Knowledge Infrastructures
Both semantic web applications and individuals are in need of knowledge infrastructures that can be used in dynamic and distributed environments where different autonomous entities...
Maciej Zurawski, Alan Smaill, Dave Robertson