Sciweavers

830 search results - page 50 / 166
» Topological Reasoning and The Logic of Knowledge
Sort
View
AIIA
2007
Springer
14 years 1 months ago
Instance-Based Query Answering with Semantic Knowledge Bases
A procedure founded in instance-based learning is presented, for performing a form of analogical reasoning on knowledge bases expressed in a wide range of ontology languages. The p...
Nicola Fanizzi, Claudia d'Amato, Floriana Esposito
JURIX
2007
13 years 9 months ago
Beyond boxes and arrows: argumentation support in terms of the knowledge structure of a legal topic
Today’s argumentation software mostly emphasizes the logical structure of reasoning, and especially the structure as it can be represented in boxes-andarrows style diagrams. In t...
Maaike Schweers, Bart Verheij
DLOG
2004
13 years 9 months ago
Using Non-Primitive Concept Definitions for Improving DL-based Knowledge Bases
Medical Terminological Knowledge Bases contain a large number of primitive concept definitions. This is due to the large number of natural kinds that are represented, and due to t...
Ronald Cornet, Ameen Abu-Hanna
ICTL
1994
13 years 11 months ago
Abduction in Temporal Reasoning
Commonsense knowledge often omits the temporal incidence of facts, and even the ordering between occurrences is only available for some of their instances. Reasoning about the temp...
Cristina Ribeiro, António Porto
ISDA
2009
IEEE
14 years 2 months ago
Extending Datatype Restrictions in Fuzzy Description Logics
Fuzzy Description Logics (DLs) are a family of logics which allow the representation of (and the reasoning within) structured knowledge affected by vagueness. Although a relativel...
Fernando Bobillo, Umberto Straccia