A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
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's interpretation-based semantics. We discuss the clash between a domain-based semantics for nominalsdblp:conf/semweb/PolastroC08 fatcat:glzo2fjiebfthadubs7ugeb47y