593 search results - page 65 / 119 » RDF and Logic: Reasoning and Extension |
112
Voted
RR
2010
Springer
14 years 11 months ago
2010
Springer
Defeasible reasoning has been studied extensively in the last two decades and many different and dissimilar approaches are currently on the table. This multitude of ideas has made...
100
click to vote
SEMWEB
2007
Springer
15 years 6 months ago
2007
Springer
Classical ontologies are not suitable to represent imprecise nor uncertain pieces of information. As a solution we will combine fuzzy Description Logics with a possibilistic layer....
AMAI
2006
Springer
15 years 17 days ago
2006
Springer
The aim of this paper is to demonstrate that A-Prolog is a powerful language for the construction of reasoning systems. In fact, A-Prolog allows to specify the initial situation, t...
99
Voted
TABLEAUX
2007
Springer
15 years 6 months ago
2007
Springer
Axiom pinpointing has been introduced in description logics (DLs) to help the user to understand the reasons why consequences hold and to remove unwanted consequences by computing ...
128
Voted
DLOG
2011
14 years 4 months ago
2011
Completion algorithms for subsumption are investigated for many extensions of the description logic EL. While for several of them subsumption is tractable, this is no longer the ca...