Towards Typed Higher-Order Description Logics.
Martin HomolaJán KlukaVojtech SvátekMiroslav VacuraPublished in: Description Logics (2013)
Keyphrases
- description logics
- higher order
- lambda calculus
- knowledge base
- computational properties
- knowledge representation
- reasoning tasks
- reasoning systems
- semantic web
- knowledge representation and reasoning
- concept descriptions
- reasoning problems
- reasoning services
- programming language
- artificial intelligence
- ontology languages
- model theoretic
- computing least common subsumers
- knowledge representation systems
- database systems
- dl programs