Sciweavers

2097 search results - page 140 / 420
» Knowledge Base Maintenance through Knowledge Representation
Sort
View
119
Voted
KSEM
2007
Springer
15 years 9 months ago
A Diagrammatic Reasoning System for ALC
Abstract. Description logics (DLs) are a well-known family of knowledge representation (KR) languages. The notation of DLs has the style of a variable-free first order predicate l...
Frithjof Dau, Peter W. Eklund
SEMWEB
2007
Springer
15 years 9 months ago
Form-Function Reasoning for Product Shape Ontology
We present an ontology of objects, functions, and generic shape representation that supports form-function reasoning. By reasoning from the mechanical and other functions of object...
Eric Wang, Yong Se Kim
154
Voted
HCI
2009
15 years 1 months ago
UbiSOA Dashboard: Integrating the Physical and Digital Domains through Mashups
Abstract. The current Web 2.0 stage of the Internet provided the basis for web-based communities and services aimed at collaboration and information sharing. Furthermore, Internet ...
Edgardo Avilés-López, J. Antonio Gar...
KES
2007
Springer
15 years 3 months ago
Creating Chances Through Cognitive Niche Construction
Abstract As a matter of fact, humans continuously delegate and distribute cognitive functions to the environment to lessen their limits. They build models, representations, and oth...
Lorenzo Magnani
134
Voted
PEPM
1995
ACM
15 years 7 months ago
Towards Creating Specialised Integrity Checks through Partial Evaluation of Meta-Interpreters
In [23] we presented a partial evaluation scheme for a “real life” subset of Prolog, containing first-order built-in’s, simple side-effects and the operational predicate i...
Michael Leuschel, Danny De Schreye