Unification in the Description Logic ELHR+ without the Top Concept modulo Cycle-Restricted Ontologies : (Extended Version)
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa2-785040
- Erschienen in
-
LTCS-Report ; 24-01
- Ereignis
-
Veröffentlichung
- (wo)
-
Dresden
- (wer)
-
Technische Universität Dresden
- (wann)
-
2024
- Urheber
-
Baader, Franz
Fernandez Gil, Oliver
- URN
-
urn:nbn:de:bsz:14-qucosa2-910122
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:59 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Baader, Franz
- Fernandez Gil, Oliver
- Technische Universität Dresden
Entstanden
- 2024
Ähnliche Objekte (12)
SAT Encoding of Unification in ELHR+ w.r.t. Cycle-Restricted Ontologies
A Goal-Oriented Algorithm for Unification in ELHR+ w.r.t. Cycle-Restricted Ontologies
Unification in the Description Logic EL w.r.t. Cycle-Restricted TBoxes
Implementing anti unification modulo equational theory
Repairing Description Logic Ontologies by Weakening Axioms
Reasoning in Description Logic Ontologies for Privacy Management
Reasoning in description logic ontologies for privacy management
Reasoning in Description Logic Ontologies for Privacy Management
Restricted Unification in the DL FL₀ : Extended Version
Access Restrictions to and with Description Logic Web Ontologies
Hybrid Unification in the Description Logic EL
Approximate Unification in the Description Logic FL₀
SAT Encoding of Unification in ELHR+ w.r.t. Cycle-Restricted Ontologies
A Goal-Oriented Algorithm for Unification in ELHR+ w.r.t. Cycle-Restricted Ontologies
Unification in the Description Logic EL w.r.t. Cycle-Restricted TBoxes
Implementing anti unification modulo equational theory
Repairing Description Logic Ontologies by Weakening Axioms
Reasoning in Description Logic Ontologies for Privacy Management
Reasoning in description logic ontologies for privacy management
Reasoning in Description Logic Ontologies for Privacy Management
Restricted Unification in the DL FL₀ : Extended Version
Access Restrictions to and with Description Logic Web Ontologies
Hybrid Unification in the Description Logic EL
Approximate Unification in the Description Logic FL₀
SAT Encoding of Unification in ELHR+ w.r.t. Cycle-Restricted Ontologies
A Goal-Oriented Algorithm for Unification in ELHR+ w.r.t. Cycle-Restricted Ontologies
Unification in the Description Logic EL w.r.t. Cycle-Restricted TBoxes
Implementing anti unification modulo equational theory
Repairing Description Logic Ontologies by Weakening Axioms
Reasoning in Description Logic Ontologies for Privacy Management
Reasoning in description logic ontologies for privacy management
Reasoning in Description Logic Ontologies for Privacy Management
Restricted Unification in the DL FL₀ : Extended Version
Access Restrictions to and with Description Logic Web Ontologies
Hybrid Unification in the Description Logic EL