Reasoning with Annotated Description Logic Ontologies
Aus International Center for Computational Logic
Reasoning with Annotated Description Logic Ontologies
Rafael PeñalozaRafael Peñaloza
Rafael Peñaloza
Reasoning with Annotated Description Logic Ontologies
Habilitation Thesis, September 2015
Reasoning with Annotated Description Logic Ontologies
Habilitation Thesis, September 2015
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@misc{P2015,
author = {Rafael Pe{\~{n}}aloza},
title = {Reasoning with Annotated Description Logic Ontologies},
year = {2015},
month = {September}
}