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…