Sciweavers

159 search results - page 5 / 32
» The Semantics of Entailment Omega
Sort
View
DLOG
2011
12 years 10 months ago
Query Answering over SROIQ Knowledge Bases with SPARQL
W3C currently extends the SPARQL query language with so-called entailment regimes, which define how queries are evaluated using logical entailment relations. We describe a sound a...
Ilianna Kollia, Birte Glimm, Ian Horrocks
SEMWEB
2010
Springer
13 years 5 months ago
Representing and Querying Validity Time in RDF and OWL: A Logic-Based Approach
RDF(S) and OWL 2 currently support only static ontologies. In practice, however, the truth of statements often changes with time, and Semantic Web applications often need to repres...
Boris Motik
ECAI
1998
Springer
13 years 11 months ago
Probabilistic Logic Programming
We present probabilistic logic programming under inheritance with overriding. This approach is based on new notions of entailment for reasoning with conditional constraints, which...
Thomas Lukasiewicz
IJAR
2008
91views more  IJAR 2008»
13 years 7 months ago
Distance-based paraconsistent logics
We introduce a general framework that is based on distance semantics and investigate the main properties of the entailment relations that it induces. It is shown that such entailm...
Ofer Arieli
LREC
2008
118views Education» more  LREC 2008»
13 years 8 months ago
FATE: a FrameNet-Annotated Corpus for Textual Entailment
Several studies indicate that the level of predicate-argument structure is relevant for modeling prevalent phenomena in current textual entailment corpora. Although large resource...
Aljoscha Burchardt, Marco Pennacchiotti