2 papers
cs.LO2026
Subsumption in with TBoxes Is in ExpTime
Michał Henne, Barbara Morawska, Paweł Parys
Description Logics (DLs) are a family of formal languages used for representing and reasoning about structured knowledge in terms of concepts and their relationships. The expressiv…
cs.LO2025
FILO -- automated unification in
Barbara Morawska, Dariusz Marzec, Sławomir Kost +1
FILO is a java application that decides unifiability for a unification problem formulated in the description logic . If the problem is unifiable, it presents a user…