Description Logics Go Second-Order - Extending EL with Universally Quantified Concepts.
Joshua HirschbrunnYevgeny KazakovPublished in: Description Logics (2023)
Keyphrases
- description logics
- concept descriptions
- universally quantified
- reasoning services
- knowledge base
- reasoning tasks
- owl ontologies
- knowledge representation languages
- dl lite
- medical terminology
- knowledge representation
- semantic web
- quantified boolean formulas
- computational properties
- biomedical ontologies
- ontology languages
- machine learning
- special case
- natural language
- artificial intelligence