Description Logics Go Second-Order - Extending EL with Universally Quantified Concepts.
Joshua HirschbrunnYevgeny KazakovPublished in: CoRR (2023)
Keyphrases
- description logics
- concept descriptions
- universally quantified
- reasoning services
- owl ontologies
- knowledge base
- knowledge representation
- computational properties
- medical terminology
- knowledge representation languages
- dl lite
- semantic web
- biomedical ontologies
- reasoning tasks
- quantified boolean formulas
- ontology languages
- computing least common subsumers