TY - CONF
T1 - Inference in probabilistic ontologies with attributive concept descriptions and nominals
AU - Polastro, Rodrigo Bellizia
AU - Cozman, Fabio Gagliardi
PY - 2008/12/1
Y1 - 2008/12/1
N2 - This paper proposes a probabilistic description logic that combines (i) constructs of the well-known AℒC logic, (ii) probabilistic assertions, and (iii) limited use of nominals. We start with our recently proposed logic crAℒC, where any ontology can be translated into a relational Bayesian network with partially specified probabilities. We then add nominals to restrictions, while keeping crAℒC's interpretation-based semantics. We discuss the clash between a domain-based semantics for nominals and an interpretation-based semantics for queries, keeping the latter semantics throughout. We show how inference can be conducted in crAℒC and present examples with real ontologies that display the level of scalability of our proposals.
AB - This paper proposes a probabilistic description logic that combines (i) constructs of the well-known AℒC logic, (ii) probabilistic assertions, and (iii) limited use of nominals. We start with our recently proposed logic crAℒC, where any ontology can be translated into a relational Bayesian network with partially specified probabilities. We then add nominals to restrictions, while keeping crAℒC's interpretation-based semantics. We discuss the clash between a domain-based semantics for nominals and an interpretation-based semantics for queries, keeping the latter semantics throughout. We show how inference can be conducted in crAℒC and present examples with real ontologies that display the level of scalability of our proposals.
UR - https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=84885748029&origin=inward
UR - https://www.scopus.com/inward/citedby.uri?partnerID=HzOxMe3b&scp=84885748029&origin=inward
M3 - Conference Paper
T2 - CEUR Workshop Proceedings
Y2 - 1 January 2016
ER -