476 search results - page 14 / 96 » Inconsistency-Tolerant Semantics for Description Logics |
127
click to vote
SEMWEB
2010
Springer
14 years 11 months ago
2010
Springer
In this paper we present a method for semantic annotation of texts, which is based on a deep linguistic analysis (DLA) and Inductive Logic Programming (ILP). The combination of DLA...
175
click to vote
AI
2008
Springer
15 years 1 months ago
2008
Springer
The work in this paper is directed towards sophisticated formalisms for reasoning under probabilistic uncertainty in ontologies in the Semantic Web. Ontologies play a central role...
116
click to vote
DLOG
2003
15 years 2 months ago
2003
In a previous paper we have investigated subsumption in the presence of terminological cycles for the description logic EL, which allows conjunctions, existential restrictions, an...
FMCAD
2000
Springer
15 years 5 months ago
2000
Springer
BLIF is a hardware description language designed for the hierarchical description of sequential circuits. We give a denotational semantics for BLIF-MV, a popular dialect of BLIF, t...
136
click to vote
NGC
2007
Springer
15 years 1 months ago
2007
Springer
Several constructive description logics,12) in which classical negation was replaced by strong negation as a component to treat negative atomic information have been proposed as in...