Knowledge-based biomedical data science involves the design and implementation of
computer systems that act as if they knew about biomedicine. Such systems depend on …

Abstract ℰ ℒ EL is a simple tractable Description Logic that features conjunctions and
existential restrictions. Due to its favorable computational properties and relevance to …

As biological and biomedical research increasingly reference the environmental context of
the biological entities under study, the need for formalisation and standardisation of …

In recent years, the decentralized development of ontologies has led to the generation of
multiple ontologies of overlap** knowledge. This heterogeneity problem can be tackled by …

Motivation Ontologies are widely used in biology for data annotation, integration and
analysis. In addition to formally structured axioms, ontologies contain meta-data in the form …

Verification of large synthesized designs Page 1 Verification of Large Synthesized Designs
Daniel Brand IBM Research Division Thomas J. Watson Research Center Yorktown Heights …

Reasoner is a software that is used to derive new facts from the existing ontologies. Some of
the popular reasoners developed in the last few years are: Pellet, RACER, FACT++ …

Scientific experiments significantly enhance the understanding of human-building
interactions in building and engineering research. Recently, conducting virtual reality (VR) …

Abstract An Introduction to Ontology Engineering is a free online textbook that provides an
overview of ontology engineering, including logics and automated reasoning, methods and …

Many modern applications of description logics (DLs, for short), such as biomedical
ontologies and semantic web policies, provide fresh motivations for extending DLs with …