Pronto: A Practical Probabilistic Description Logic Reasoner.

Pavel Klinov Bijan Parsia

Published in: URSW (LNCS Vol.) (2013)

Keyphrases

description logics
knowledge base
reasoning services
reasoning tasks
semantic web
knowledge representation
computational properties

reasoning problems
dl lite
reasoning mechanism
ontology languages
computing least common subsumers
snomed ct
ontology reasoning

concept descriptions
reasoning systems
model theoretic
number restrictions
knowledge representation languages
terminological knowledge
logical implication

query answering
consistency checking
temporal reasoning
expressive power
description logic programs
data management
expert systems