Sentence examples for description logic from inspiring English sources

NCI Thesaurus is a concept-based terminology system that uses description logic to enforce logical consistency and provide a formal model with computationally tractable semantics [ 26].

description logic.

The probabilistic description logic cr(mathcal{ALC }) is a probabilistic extension of the description logic (mathcal{ALC }) that adopts an interpretation-based semantics.

To this end, we introduce description logic programs (or dl-programs), which consist of a description logic knowledge base L and a finite set P of description logic rules (or dl-rules).

However, WORL and SWORL allow using also syntax of description logic (and hence also OWL).

They use information that is missing on a probabilistic description logic setting.

This probabilistic description logic extends the popular logic (mathcal{ALC }) [27] with probabilistic inclusions.

Third, we consider ACLNR as a description logic component of ARTIGENCE, which is one of the most expressive description logic with decidable inference procedures so far.

Today's ontology applications require efficient and reliable description logic (DL) reasoning services.

We introduce the expressive description logic language SHIQD− to represent structural knowledge acquired from practitioners.

EL is a popular description logic, used as a core formalism in large existing knowledge bases.