Monografie
A finite basis for the set of EL-implications holding in a finite model
- Sprache
-
Englisch
- Identifier
-
1260551334
- Reihe
-
LTCS-Report; 07-02
Beteiligte Personen und Organisationen
Baader, Franz
Distel, Felix
Distel, Felix
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
05.07.2022, 13:19 MESZ
Objekttyp
- Monografie
Beteiligte
- Baader, Franz
- Distel, Felix
Ähnliche Objekte (12)
Exploring finite models in the Description Logic ELgfp
The instance problem and the most specific concept in the description logic EL w.r.t. terminological cycles with descriptive semantics
A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL
Least common subsumers, most specific concepts, and role-value-maps in a description logic with existential restrictions and terminological cycles
Concept Descriptions with Set Constraints and Cardinality Constraints
Terminological cycles in a description logic with existential restrictions
Combination of Compatible Reduction Orderings that are Total on Ground Terms
On the Complexity of Boolean Unification
Using model theory to find w-admissible concrete domains
SAT Encoding of Unification in EL
Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs
Matching with respect to general concept inclusions in the Description Logic EL
Exploring finite models in the Description Logic ELgfp
The instance problem and the most specific concept in the description logic EL w.r.t. terminological cycles with descriptive semantics
A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL
Least common subsumers, most specific concepts, and role-value-maps in a description logic with existential restrictions and terminological cycles
Concept Descriptions with Set Constraints and Cardinality Constraints
Terminological cycles in a description logic with existential restrictions
Combination of Compatible Reduction Orderings that are Total on Ground Terms
On the Complexity of Boolean Unification
Using model theory to find w-admissible concrete domains
SAT Encoding of Unification in EL
Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs
Matching with respect to general concept inclusions in the Description Logic EL
Exploring finite models in the Description Logic ELgfp
The instance problem and the most specific concept in the description logic EL w.r.t. terminological cycles with descriptive semantics
A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL
Least common subsumers, most specific concepts, and role-value-maps in a description logic with existential restrictions and terminological cycles
Concept Descriptions with Set Constraints and Cardinality Constraints
Terminological cycles in a description logic with existential restrictions
Combination of Compatible Reduction Orderings that are Total on Ground Terms
On the Complexity of Boolean Unification
Using model theory to find w-admissible concrete domains
SAT Encoding of Unification in EL
Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs