Nacionalni portal odprte znanosti

This paper describes the first steps towards developing a methodology for testing and evaluating the performance of reasoners for the probabilistic description logic P- ${\ensuremath{\mathcal{SHIQ}}(D)}$ . Since it is a new formalism for handling uncertainty in DL ontologies, no such methodology ha ...

ELis a family of tractable Description Logics (DLs) that is the basis of the OWL 2 EL profile. Unlike for many expressive DLs, reasoning inELcan be performed by computing a deductively-closed set of logical consequences of some specific form. In some ontology-based applications, e.g., for ontology de- ...

We present the first large scale investigation into the modular structure of a substantial collection of state-of-the-art biomedical ontologies, namely those maintained in the NCBO BioPortal repository.5 Using the notion of Atomic Decomposition, we partition BioPortal ontologies into logically coher ...