1317 search results - page 67 / 264 » Fusions of Description Logics and Abstract Description Syste... |
103
click to vote
DLOG
1996
15 years 3 months ago
1996
To ensure the re-use of domain ontologies the usual approach relies on a pivot language, e.g., Kif, intoandfromwhich the domainontologyis translated. This requires several distinc...
167
click to vote
FROCOS
2009
Springer
15 years 8 months ago
2009
Springer
When trying to apply recently developed approaches for updating Description Logic ABoxes in the context of an action programming language, one encounters two problems. First, upda...
111
click to vote
LOGCOM
2006
15 years 1 months ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics. It is well-known that various hybrid logics without binders are decidable, but decision p...
122
click to vote
TAMODIA
2008
15 years 3 months ago
2008
Abstract. In this paper we present a demonstration of the Migrantes environment for supporting user interface migration through different devices, including mobile ones and digital...
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We describe our progress building the program ReductionFinder, which uses off-the-shelf SAT solvers together with the Cmodels system to automatically search for reduction...