593 search results - page 26 / 119 » RDF and Logic: Reasoning and Extension |
95
Voted
AI
2002
Springer
15 years 15 days ago
2002
Springer
ko et al. have recently proposed an abstract framework for default reasoning. Besides capturing most existing formalisms and proving that their standard semantics all coincide, th...
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...
104
Voted
KR
2004
Springer
15 years 6 months ago
2004
Springer
Although sorts and unary predicates are semantically identical in order-sorted logic, they are classified as different kinds of properties in formal ontology (e.g. sortal and non...
112
click to vote
PPSWR
2005
Springer
15 years 6 months ago
2005
Springer
The Semantic Web is an endeavour aiming at enhancing Web data with meta-data and data processing, as well as processing methods specifying the “meaning” of such data and allowi...
104
Voted
CADE
2010
Springer
15 years 1 months ago
2010
Springer
Coalgebraic description logics offer a common semantic umbrella for extensions of description logics with reasoning principles outside relational semantics, e.g. quantitative uncer...