1435 search results - page 101 / 287 » Description Logics |
109
Voted
DLOG
2007
15 years 5 months ago
2007
One of the main concerns of constructive semantics is to provide a computational interpretation for the proofs of a given logic. In this paper we introduce a constructive semantics...
112
click to vote
DLOG
2001
15 years 5 months ago
2001
We combine the description logic ALC with the metric logics defined Entities that are conceived of as abstract points in the realm of ALC are given a spatial extension via an `ext...
108
Voted
JAR
2007
15 years 3 months ago
2007
Abstract. OWL DL, a new W3C ontology language recommendation, is based on the expressive description logic SHOIN. Although the ontology consistency problem for SHOIN is known to be...
128
click to vote
STACS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. A new class of languages of infinite words is introduced, called the maxregular languages, extending the class of ω-regular languages. The class has two equivalent desc...
111
click to vote
CSL
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. A new class of languages of infinite words is introduced, called the maxregular languages, extending the class of -regular languages. The class has two equivalent descrip...