Sciweavers

442 search results - page 11 / 89
» Knowledge Representation Using High-Level Non-monotonic Reas...
Sort
View
SEMWEB
2007
Springer
14 years 1 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
KSEM
2007
Springer
14 years 1 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
AI
2008
Springer
14 years 2 months ago
Use of Fuzzy Histograms to Model the Spatial Distribution of Objects in Case-Based Reasoning
Abstract. In the context of the RoboCup Simulation League, we describe a new representation of a software agent’s visual perception (“scene”), well suited for case-based reas...
Alan Davoust, Michael W. Floyd, Babak Esfandiari
IPPS
2000
IEEE
14 years 1 days ago
The Parallelization of a Knowledge Discovery System with Hypergraph Representation
Abstract. Knowledge discovery is a time-consuming and space intensive endeavor. By distributing such an endeavor, we can diminish both time and space. System INDEDpronounced indee...
Jennifer Seitzer, James P. Buckley, Yi Pan, Lee A....
OWLED
2007
13 years 9 months ago
Reasoning with OWL-DL in Inductive Logic Programming
The use of background knowledge and the adoption of Horn clausal logic as a knowledge representation and reasoning framework are the distinguishing features of Inductive Logic Prog...
Francesca A. Lisi