This paper proposes a probabilistic description logic that combines (i) constructs of the well-known ALC logic, (ii) probabilistic assertions, and (iii) limited use of nominals. We start with our recently proposed logic crALC, where any ontology can be translated into a relational Bayesian network with partially specified probabilities. We then add nominals to restrictions, while keeping crALC’...

BACKGROUND The aetiology of Temporomandibular disorder is multifactorial, and numerous studies have addressed that occlusion may be of great importance in the pathogenesis of Temporomandibular disorder. AIM The aim of this study is to determine if any direct relationship exists between balanced occlusion and Temporomandibular disorder and to evaluate the differences between subjective balance...

In this paper, we represent L-domains by means of formal concept analysis. Based on the attributive continuous contexts, propose notions LDF-contexts and $${\mathcal {F}}$$ -morphisms show that they provide concrete representations Scott-continuous functions between them, respectively. Moreover, category with $$\mathcal {F}$$ is proven to be equivalent as morphisms.