ContraBovemRufum: A System for Probabilistic Lexicographic Entailment

Representing probabilistic knowledge in combination with a description logic has been a research topic for quite some time. In [1] one of such combinations is introduced. We present our implementation of the proposed system and some modeling observations we made.

• Type: Conference
• Year: 2008
• Where: DLOG
• Authors: Tobias Henrik Näth, Ralf Möller
• Keywords: Automated Reasoning, Description Logic, DLOG 2008, Knowledge In Combination, Research Topic