Conjunctive query answering for the description logic SHIQ
Conjunctive queries play an important role as an expressive query language for Description
Logics (DLs). Although modern DLs usually provide for transitive roles, conjunctive query …
Logics (DLs). Although modern DLs usually provide for transitive roles, conjunctive query …
[图书][B] A Re-Usable Ontology for Chemical Process Engineering
W Marquardt, J Morbach, A Wiesner, A Yang, O CAPE - 2010 - Springer
OntoCAPE: A Re-Usable Ontology for Chemical Process Engineering | SpringerLink Skip to
main content Advertisement SpringerLink Log in Menu Find a journal Publish with us …
main content Advertisement SpringerLink Log in Menu Find a journal Publish with us …
Representations of molecular pathways: an evaluation of SBML, PSI MI and BioPAX
L Strömbäck, P Lambrix - Bioinformatics, 2005 - academic.oup.com
Motivation: Analysis and simulation of pathway data is of high importance in bioinformatics.
Standards for representation of information about pathways are necessary for integration …
Standards for representation of information about pathways are necessary for integration …
[PDF][PDF] Inconsistency management in model-driven engineering
R Van Der Straeten - An Approach Using Description Logics (Ph …, 2005 - researchgate.net
Abstract Model-driven engineering (MDE) is an approach to software development where
the primary focus is on models, as opposed to source code. Models are built representing …
the primary focus is on models, as opposed to source code. Models are built representing …
[PDF][PDF] A High Performance Semantic Web Query Answering Engine.
A High Performance Semantic Web Query Answering Engine Page 1 A High Performance
Semantic Web Query Answering Engine Michael Wessel and Ralf Möller Hamburg University …
Semantic Web Query Answering Engine Michael Wessel and Ralf Möller Hamburg University …
Efficient description logic reasoning in Prolog: the DLog system
G Lukácsy, P Szeredi - Theory and Practice of Logic Programming, 2009 - cambridge.org
Traditional algorithms for description logic (DL) instance retrieval are inefficient for large
amounts of underlying data. As DL is becoming more and more popular in areas such as the …
amounts of underlying data. As DL is becoming more and more popular in areas such as the …
Accurate optical flow in noisy image sequences
H Spies, H Scharr - Proceedings Eighth IEEE International …, 2001 - ieeexplore.ieee.org
Optical flow estimation in noisy image sequences requires a special denoising strategy.
Towards this end we introduce a new tensor-driven anisotropic diffusion scheme which is …
Towards this end we introduce a new tensor-driven anisotropic diffusion scheme which is …
Supporting model refactorings through behaviour inheritance consistencies
R Van Der Straeten, V Jonckers, T Mens - «UML» 2004—The Unified …, 2004 - Springer
This paper addresses the problem of consistency preservation in model-driven software
development. Software models typically embody many different views that need to be kept …
development. Software models typically embody many different views that need to be kept …
Coalgebraic hybrid logic
R Myers, D Pattinson, L Schröder - … , FOSSACS 2009, Held as Part of the …, 2009 - Springer
We introduce a generic framework for hybrid logics, ie modal logics additionally featuring
nominals and satisfaction operators, thus providing the necessary facilities for reasoning …
nominals and satisfaction operators, thus providing the necessary facilities for reasoning …
[HTML][HTML] Using web ontology language to integrate heterogeneous databases in the neurosciences
HYK Lam, L Marenco, GM Shepherd… - AMIA Annual …, 2006 - ncbi.nlm.nih.gov
Integrative neuroscience involves the integration and analysis of diverse types of
neuroscience data involving many different experimental techniques. This data will …
neuroscience data involving many different experimental techniques. This data will …