In recent years, as a knowledge-based discipline, bioinformatics has been made more
computationally amenable. After its beginnings as a technology advocated by computer …

The immense growth of MEDLINE coupled with the realization that a vast amount of
biomedical knowledge is recorded in free-text format, has led to the appearance of a large …

Since achieving W3C recommendation status in 2004, the Web Ontology Language (OWL)
has been successfully applied to many problems in computer science. Practical experience …

Computational ontologies in the context of information systems are artifacts that encode a
description of some world, for some purpose. Under the assumption that there exist classes …

A formal and automatic verification of a real-life protocol is presented. The protocol, about
2800 lines of assembler code, has been used in products from the audio/video company …

As fragments of first-order logic, Description logics (DLs) do not provide nonmonotonic
features such as defeasible inheritance and default rules. Since many applications would …

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

Chest X-rays (CXRs) are a crucial and extraordinarily common diagnostic tool, leading to
heavy research for computer-aided diagnosis (CAD) solutions. However, both high …

Abstract Ontology Design Patterns (ODPs) support reusability and use of best practices in
ontology engineering. Previous studies have shown that Content ODPs, in particular, have …

Rational closure is one of the most extensively studied nonmonotonic extensions of
description logics. Nonetheless, so far it has been investigated only for description logics …