Applying a description logic of typicality as a generative tool for concept combination in computational creativity.
Antonio LietoGian Luca PozzatoPublished in: Intelligenza Artificiale (2019)
Keyphrases
- description logics
- concept descriptions
- number restrictions
- transitive closure of roles
- semantic mapping
- computational properties
- formal ontologies
- formal logic
- knowledge base
- reasoning problems
- knowledge representation
- dl lite
- reasoning tasks
- reasoning systems
- inductive learning
- description logic alc
- computing least common subsumers
- snomed ct
- reasoning mechanism
- representation language
- logical implication
- semantic web
- knowledge representation languages
- logic programs
- owl dl
- machine learning
- model theoretic
- ontology languages