Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count

Authors

DOI:

https://doi.org/10.32473/flairs.38.1.138854

Keywords:

description logic, model counting, C2

Abstract

In previous work it was shown that the logic ALCME,  which extends the description logic (DL) ALC with probabilistic conditionals, has domain-lifted inference. Here, we extend this result from the base logic ALC to two logics that can count, the two-variable fragment C2 of first-order logic (FOL) with counting quantifiers, and the DL ALCSCC, which is not a fragment of FOL. As an auxiliary result, we prove that model counting in ALCSCC can be realized in a domain-liftable way.

Downloads

Published

14-05-2025

How to Cite

Baader, F., & Claußnitzer, A. (2025). Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count. The International FLAIRS Conference Proceedings, 38(1). https://doi.org/10.32473/flairs.38.1.138854

Issue

Section

Special Track: Uncertain Reasoning