| SciPort RLP

Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

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

Description Logics. 2011

Erscheinungsjahr: 2011

Publikationstyp: Zeitschriftenaufsatz

Geprüft

Bibliothek

Autoren

Gasse, Francis (Autor)

Sofronie-Stokkermans, Viorica (Autor)

Verknüpfte Personen

Viorica Sofronie-Stokkermans
Mitarbeiter/in
(Institut für Informatik)

Viorica Sofronie-Stokkermans
Mitarbeiter/in
(Formale Methoden und Theoretische Informatik)

Beteiligte Einrichtungen

Institut für Informatik
(Universität Koblenz)