Sciweavers

385 search results - page 34 / 77
» KNAML: A Knowledge Representation Language for Distributed R...
Sort
View
TIME
1994
IEEE
14 years 23 days ago
Belief Revision in a Discrete Temporal Probability-Logic
We describe a discrete time probabilitylogic for use as the representation language of a temporal knowledge base. In addition to the usual expressive power of a discrete temporal ...
Scott D. Goodwin, Howard J. Hamilton, Eric Neufeld...
FCSC
2011
413views VLSI» more  FCSC 2011»
13 years 4 days ago
Type-2 fuzzy description logic
Description logics (DLs) are widely employed in recent semantic web application systems. However, classical description logics are limited when dealing with imprecise concepts and ...
Ruixuan Li, Kunmei Wen, Xiwu Gu, Yuhua Li, Xiaolin...
FM
2003
Springer
169views Formal Methods» more  FM 2003»
14 years 1 months ago
Checking and Reasoning about Semantic Web through Alloy
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
Jin Song Dong, Jing Sun, Hai H. Wang
CIKM
2007
Springer
14 years 2 months ago
Reasoning about vague topological information
Topological information plays a fundamental role in the human perception of spatial configurations and is thereby one of the most prominent geographical features in natural langu...
Steven Schockaert, Martine De Cock
ICCBR
2005
Springer
14 years 2 months ago
Learning Semantic Annotations for Textual Cases
Abstract. In this paper, we propose an approach to attach semantic annotations to textual cases for their representation. To achieve this goal, a framework that combines machine le...
Eni Mustafaraj, Martin Hoof, Bernd Freisleben