CatE: Embedding ALC ontologies using category-theoretical semantics.
Fernando Zhapa-CamachoRobert HoehndorfPublished in: CoRR (2023)
Keyphrases
- description logics
- owl ontologies
- ontological framework
- fuzzy description logics
- owl dl
- ontology languages
- semantic relationships
- formal semantics
- machine processable
- dl lite
- fuzzy ontology
- semantic mapping
- conceptual graphs
- reasoning services
- dl programs
- semantic web
- knowledge base
- description logic programs
- model theoretic
- knowledge representation
- theoretical analysis
- semantic web ontologies
- reasoning mechanism
- logic programming
- ontological concepts
- semantic descriptions
- reasoning tasks
- related concepts
- semantic web languages
- domain ontology
- vector space
- lexical semantics
- upper bound
- semantic relations
- semantic representations
- databases
- web directories