25218 search results - page 9 / 5044 » A Logic-Based Information System |
ACL
2006
13 years 8 months ago
2006
This paper proposes a knowledge representation model and a logic proving setting with axioms on demand successfully used for recognizing textual entailments. It also details a lex...
ECSQARU
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, we propose an approach for measuring inconsistency in inconsistent ontologies. We first define the degree of inconsistency of an inconsistent ontology using a four...
DEON
2010
Springer
13 years 7 months ago
2010
Springer
The aim of the present paper is to provide a metalogical systematisation in the area of deontic action logic based on Boolean algebra. Differences among the systems in question lie...
SAS
2001
Springer
13 years 11 months ago
2001
Springer
Abstract. Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the omission of t...
SEMWEB
2007
Springer
14 years 1 months ago
2007
Springer
Ontologies play a core role in the success of the Semantic Web as they provide a shared vocabulary for different resources and applications. Developing an error-free ontology is a...