Unification in FL0 Modulo a Flat TBox.

Barbara Morawska

Published in: Description Logics (2020)

Keyphrases

description logics
fuzzy logic
knowledge base
reasoning tasks
artificial intelligence
higher order
theorem proving
dl lite
equational theories
databases
theorem prover
information retrieval
search engine
high level
information technology
automated theorem proving