116
click to vote
RULEML
2009
Springer
15 years 7 months ago
2009
Springer
We present the design and implementation of SPINdle – an open source Java based defeasible logic reasoner capable to perform efficient and scalable reasoning on defeasible logic...
87
Voted
RULEML
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In this survey paper we summarize the requirements for rule interchange languages for applications in the legal domain and use these requirements to evaluate RuleML, SBVR...
115
click to vote
RR
2009
Springer
15 years 7 months ago
2009
Springer
Open Answer Set Programming (OASP) can be seen as a framework to represent tightly integrated combined knowledge bases of ontologies and rules that are not necessarily DL-safe. The...
73
Voted
RR
2009
Springer
15 years 7 months ago
2009
Springer
142
Voted
RR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. A four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases. This approach has a distinct advantage that it can ...
93
Voted
RR
2009
Springer
15 years 7 months ago
2009
Springer
Our previous work [26] introduced Belief Logic Programming (BLP), a novel form of quantitative logic programming with correlation of evidence. Unlike other quantitative approaches ...
79
Voted
RR
2009
Springer
15 years 7 months ago
2009
Springer
82
Voted
RR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. It is well-knwon that crisp RDF is not suitable to represent vague information. Fuzzy RDF variants are emerging to overcome to this limitations. In this work we provide, ...
77
Voted
RR
2009
Springer
15 years 7 months ago
2009
Springer
68
Voted
RR
2009
Springer
15 years 7 months ago
2009
Springer