Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata.

Franz Baader Oliver Fernandez Gil Maximilian Pensel

Published in: GCAI (2018)

Keyphrases

description logics
tree automata
knowledge representation
fuzzy logic
sufficient conditions
database
artificial intelligence