1317 search results - page 49 / 264 » Fusions of Description Logics and Abstract Description Syste... |
125
click to vote
BIRTHDAY
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
110
click to vote
DLOG
2008
15 years 4 months ago
2008
Representing probabilistic knowledge in combination with a description logic has been a research topic for quite some time. In [1] one of such combinations is introduced. We presen...
115
click to vote
OWLED
2008
15 years 3 months ago
2008
We study conjunctive query answering in the description logic EL, the core of the designated OWL2-EL profile of OWL2. In particular, we present an approach that allows the use of c...
115
click to vote
TOCL
2008
15 years 1 months ago
2008
fragment enjoys suitable noetherianity conditions and admits an abstract version of a `KeislerShelah like' isomorphism theorem. We show that this general decidability transfer...
PRIMA
2007
Springer
15 years 8 months ago
2007
Springer
Biologically inspired complex adaptive systems (BICAS) have and will continue to move from research laboratories into industry. As the ions presented by biologically inspired syste...