Sciweavers

596 search results - page 3 / 120
» Integrated Distributed Description Logics
Sort
View
DATESO
2008
133views Database» more  DATESO 2008»
13 years 7 months ago
Incox - A Language for XML Integrity Constraints Description
Presently, there is no specialized language for complex integrity constraints description in XML documents. In this paper we present a language that combines first-order logic toge...
Katerina Opocenska, Michal Kopecky
BIRTHDAY
2010
Springer
13 years 4 months ago
The Architecture Description Language MoDeL
m, modules, types and operations), different kinds of abstractions (functional/data, types/objects etc.) without falling into a loose collection of diagram languages. Considering a...
Peter Klein
DLOG
2004
13 years 7 months ago
Local Tableaux for Reasoning in Distributed Description Logics
The last decade of basic research in the area of Description Logics (DL) has created a stable theory, efficient inference procedures, and has demonstrated a wide applicability of ...
Luciano Serafini, Andrei Tamilin
DLOG
2007
13 years 8 months ago
Distributed Description Logics Revisited
Distributed Description Logics (DDLs) is a KR formalism that enables reasoning with multiple ontologies interconnected by directional semantic mapping (bridge rules). DDLs capture ...
Martin Homola
AAI
2010
108views more  AAI 2010»
13 years 5 months ago
Augmenting Subsumption Propagation in Distributed Description Logics
Distributed Description Logics (DDL) enable reasoning with multiple ontologies interconnected by directional semantic mapping, called bridge rules. Bridge rules map concepts of a s...
Martin Homola, Luciano Serafini