RULEML
2009
Springer
14 years 6 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...
RULEML
2009
Springer
14 years 6 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...
RR
2009
Springer
14 years 6 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...
RR
2009
Springer
14 years 6 months ago
2009
Springer
RR
2009
Springer
14 years 6 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 ...
RR
2009
Springer
14 years 6 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 ...
RR
2009
Springer
14 years 6 months ago
2009
Springer
RR
2009
Springer
14 years 6 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, ...
RR
2009
Springer
14 years 6 months ago
2009
Springer
RR
2009
Springer
14 years 6 months ago
2009
Springer