Monografie
Terminological cycles in a description logic with existential restrictions
- Sprache
-
Englisch
- Identifier
-
1258868229
- Reihe
-
LTCS-Report; 02-02
Beteiligte Personen und Organisationen
Baader, Franz
- 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
Ähnliche Objekte (12)
Least common subsumers, most specific concepts, and role-value-maps in a description logic with existential restrictions and terminological cycles
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
Concept Descriptions with Set Constraints and Cardinality Constraints
Combination of Compatible Reduction Orderings that are Total on Ground Terms
On the Complexity of Boolean Unification
Matching Concept Descriptions with Existential Restrictions
Matching Concept Descriptions with Existential Restrictions Revisited
Description Logics with Symbolic Number Restrictions
Number Restrictions on Complex Roles in Description Logics
Runtime Verification Using a Temporal Description Logic Revisited
Exploring finite models in the Description Logic ELgfp
Least common subsumers, most specific concepts, and role-value-maps in a description logic with existential restrictions and terminological cycles
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
Concept Descriptions with Set Constraints and Cardinality Constraints
Combination of Compatible Reduction Orderings that are Total on Ground Terms
On the Complexity of Boolean Unification
Matching Concept Descriptions with Existential Restrictions
Matching Concept Descriptions with Existential Restrictions Revisited
Description Logics with Symbolic Number Restrictions
Number Restrictions on Complex Roles in Description Logics
Runtime Verification Using a Temporal Description Logic Revisited
Exploring finite models in the Description Logic ELgfp
Least common subsumers, most specific concepts, and role-value-maps in a description logic with existential restrictions and terminological cycles
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
Concept Descriptions with Set Constraints and Cardinality Constraints
Combination of Compatible Reduction Orderings that are Total on Ground Terms
On the Complexity of Boolean Unification
Matching Concept Descriptions with Existential Restrictions
Matching Concept Descriptions with Existential Restrictions Revisited
Description Logics with Symbolic Number Restrictions
Number Restrictions on Complex Roles in Description Logics
Runtime Verification Using a Temporal Description Logic Revisited