Sciweavers

1285 search results - page 106 / 257
» Description Logic Reasoner: System Description
Sort
View
FMLDO
2000
Springer
138views Database» more  FMLDO 2000»
15 years 10 months ago
Schema Evolution and Versioning: A Logical and Computational Characterisation
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 objectoriented model for sc...
Enrico Franconi, Fabio Grandi, Federica Mandreoli
DLOG
2011
14 years 9 months ago
On Prototypes for Winslett's Semantics of DL-Lite ABox Evolution
Evolution of Knowledge Bases expressed in Description Logics (DLs) proved its importance. Most studies on evolution in DLs have focused on modelbased approaches to evolution semant...
Evgeny Kharlamov, Dmitriy Zheleznyakov
DLOG
2007
15 years 8 months ago
Modularity in DL-Lite
We develop a formal framework for modular ontologies by analysing four notions of conservative extensions and their applications in refining, re-using, merging, and segmenting ont...
Roman Kontchakov, Frank Wolter, Michael Zakharyasc...
CL
2000
Springer
15 years 10 months ago
A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases
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...
Enrico Franconi, Fabio Grandi, Federica Mandreoli
WWW
2005
ACM
16 years 7 months ago
An enhanced model for searching in semantic portals
Semantic Portal is the next generation of web portals that are powered by Semantic Web technologies for improved information sharing and exchange for a community of users. Current...
Lei Zhang, Yong Yu, Jian Zhou, Chenxi Lin, Yin Yan...