ReAD: AD-based modular ontology classification

DOI10.1007/978-3-030-75775-5_15OpenAlexW3160896874MaRDI QIDQ2055795

Haoruo Zhao, Bijan Parsia, Uli Sattler

Publication date: 1 December 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-75775-5_15

zbMATH Keywords

classificationreasoningdescription logicOWL

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Unnamed Item
• Incremental classification of description logics ontologies
• Modular ontologies. Concepts, theories and techniques for knowledge modularization
• OWL reasoning: subsumption test hardness and modularity
• The OWL reasoner evaluation (ORE) 2015 competition report
• HermiT: an OWL 2 reasoner
• The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
• Module Extraction in Expressive Ontology Languages via Datalog Reasoning
• An Introduction to Description Logic
• Count and Forget: Uniform Interpolation of  $\mathcal{SHQ}$ -Ontologies
• Ontology Integration Using ε-Connections
• Composing Modular Ontologies with Distributed Description Logics
• Package-Based Description Logics
• Modular Structures and Atomic Decomposition in Ontologies
• The Description Logic Handbook

This page was built for publication: ReAD: AD-based modular ontology classification