159 search results - page 1 / 32 » The Semantics of Entailment Omega |
NDJFL
2002
13 years 4 months ago
2002
This paper discusses the relation between the minimal positive relevant logic B+ and intersection and union type theories. There is a marvellous coincidence between these very diff...
EWSA
2004
Springer
13 years 10 months ago
2004
Springer
This paper provides an overview on the approach of the IST OMEGA project for the development of correct software for embedded systems based on the use of UML as modelling language....
DLOG
2011
12 years 8 months ago
2011
In this paper, we present a reasoner capable of epistemic inferences in SROIQ knowledge bases. We first identify some counter intuitive effects of imposing the traditional semant...
ACL
2012
11 years 7 months ago
2012
We address a core aspect of the multilingual content synchronization task: the identification of novel, more informative or semantically equivalent pieces of information in two d...
SEMWEB
2010
Springer
13 years 2 months ago
2010
Springer
We extend the Semantic Web query language SPARQL by defining the semantics of SPARQL queries under the entailment regimes of RDF, RDFS,