Sciweavers

85 search results - page 5 / 17
» Semantic Modularity and Module Extraction in Description Log...
Sort
View
LICS
2005
IEEE
14 years 1 months ago
Model-Checking Hierarchical Structures
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
Markus Lohrey
BIRTHDAY
2004
Springer
14 years 1 months ago
Composing Hidden Information Modules over Inclusive Institutions
: This paper studies the composition of modules that can hide information, over a very general class of logical systems called inclusive institutions. Two semantics are given for c...
Joseph A. Goguen, Grigore Rosu
DLOG
2010
13 years 5 months ago
KOSIMap: Use of Description Logic Reasoning to Align Heterogeneous Ontologies
Semantic interoperability is essential on the Semantic Web to enable different information systems to exchange data. Such interoperability can be achieved by identifying similar in...
Quentin Reul, Jeff Z. Pan
MHCI
2009
Springer
14 years 2 months ago
Using semantic descriptions for adaptive mobile games UIs
Mobile devices became powerful recently and wireless Internet access is becoming standard. One important class of networked, mobile applications are location based games, making e...
Pascal Bihler, Holger Mügge, Mark Schmatz, Ar...
JAIR
2008
109views more  JAIR 2008»
13 years 7 months ago
Modular Reuse of Ontologies: Theory and Practice
In this paper, we propose a set of tasks that are relevant for the modular reuse of ontologies. In order to formalize these tasks as reasoning problems, we introduce the notions o...
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazako...