Restricted Unification in the DL FL0 (Extended Abstract).

Franz Baader Oliver Fernández Gil Maryam Rostamigiv

Published in: Description Logics (2021)

Keyphrases

extended abstract
description logics
fuzzy logic
higher order
expressive power
machine learning
metadata
expert systems
e learning
query answering
theorem proving
equational theories