de.mpg.escidoc.pubman.appbase.FacesBean
Deutsch
 
Hilfe Wegweiser Impressum Kontakt Einloggen
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT

Freigegeben

Konferenzbeitrag

Efficient TBox Subsumption Checking in Combinations of EL and (fragments of) FL0

MPG-Autoren
http://pubman.mpdl.mpg.de/cone/persons/resource/persons44479

Gasse,  Francis
Automation of Logic, MPI for Informatics, Max Planck Society;

http://pubman.mpdl.mpg.de/cone/persons/resource/persons45516

Sofronie-Stokkermans,  Viorica
Automation of Logic, MPI for Informatics, Max Planck Society;

Externe Ressourcen
Es sind keine Externen Ressourcen verfügbar
Volltexte (frei zugänglich)
Es sind keine frei zugänglichen Volltexte verfügbar
Ergänzendes Material (frei zugänglich)
Es sind keine frei zugänglichen Ergänzenden Materialien verfügbar
Zitation

Gasse, F., & Sofronie-Stokkermans, V. (2011). Efficient TBox Subsumption Checking in Combinations of EL and (fragments of) FL0. In R. Rosati, S. Rudolph, & M. Zakharyaschev (Eds.), Proceedings of the 2011 International Workshop on Description Logics (DL-2011) (pp. 125-135). Aachen, Germany: CEUR Workshop Proceedings.


Zitierlink: http://hdl.handle.net/11858/00-001M-0000-0010-14EE-1
Zusammenfassung
We study possibilities of combining (fragments) of the lightweight description logics ${\cal F}{\cal L}_0$ and ${\cal E}{\cal L}$, and identify classes of subsumption problems in a combination of ${\cal E}{\cal L}$ and Horn-${\cal F}{\cal L}_0$, which can be checked in PSPACE resp. PTIME. Since ${\cal F}{\cal L}_0$ allows universal role restrictions and ${\cal E}{\cal L}$ allows existential role restrictions, we thus have a framework where subsumption between expressions including both types of role restrictions (but for disjoint sets of roles) can be checked in polynomial space or time.