3358 search results - page 248 / 672 » Dynamic Description Logics |
167
click to vote
CP
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. This article presents a database of about 200 graph invariants for deriving systematically necessary conditions from the graph properties based representation of global c...
273
click to vote
ISMVL
2010
IEEE
16 years 1 days ago
2010
IEEE
We outline DL-Media, an ontology mediated multimedia information retrieval system, which combines logic-based retrieval with multimedia featurebased similarity retrieval. An ontolo...
201
click to vote
CL
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. In this paper a semantic approach for the specification and the management of databases with evolving schemata is introduced. It is shown how a general object-oriented m...
169
click to vote
ASIAN
1998
Springer
15 years 11 months ago
1998
Springer
LOTOS is a formal specification language, designed for the precise description of open distributed systems and protocols. Our purpose is to introduce the operators of logics (for e...
190
click to vote
DLOG
2007
15 years 9 months ago
2007
We outline DLMedia, an ontology mediated multimedia information retrieval system, which combines logic-based retrieval with multimedia featurebased similarity retrieval. An ontolog...