Category-theoretical Semantics of the Description Logic ALC (extended version).
Chan Le DucPublished in: CoRR (2021)
Keyphrases
- description logic alc
- description logics
- modal logic
- theoretical analysis
- semantic information
- formal semantics
- hierarchical structure
- fuzzy description logics
- model theoretic
- information retrieval
- knowledge representation
- data sets
- normal form
- temporal logic
- artificial intelligence
- object categories
- learning algorithm
- argumentation frameworks
- hierarchical structures
- neural network
- databases