Sciweavers

4623 search results - page 247 / 925
» Knowledge Representation on the Web
Sort
View
KR
2004
Springer
16 years 17 days ago
Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity
Although sorts and unary predicates are semantically identical in order-sorted logic, they are classified as different kinds of properties in formal ontology (e.g. sortal and non...
Ken Kaneiwa, Riichiro Mizoguchi
GIS
1992
ACM
15 years 11 months ago
The Geometry of Environmental Knowledge
Theoretical and empirical work on the geometry of environmental knowledge is discussed. Certain patterns of distanc.e and directional estimates collected from humans have been inte...
Daniel R. Montello
FOIS
2008
15 years 8 months ago
SKIing with DOLCE: toward an e-Science Knowledge Infrastructure
: An ontology of general science knowledge (SKIo) is developed to enhance machine representation and use of scientific theories in emerging e-Science Knowledge Infrastructures. SKI...
Boyan Brodaric, Femke Reitsma, Yi Qiang
RR
2007
Springer
16 years 1 months ago
Proof Explanation in the DR-DEVICE System
Trust is a vital feature for the Semantic Web: If users (humans and agents) are to use and integrate system answers, they must trust them. Thus, systems should be able to explain t...
Nick Bassiliades, Grigoris Antoniou, Guido Governa...
RR
2007
Springer
16 years 1 months ago
AceRules: Executing Rules in Controlled Natural Language
Expressing rules in controlled natural language can bring us closer to the vision of the Semantic Web since rules can be written in the notation of the application domain and are u...
Tobias Kuhn