- Language
-
Englisch
- Identifier
-
1160875162
Subject
Hochschulschrift
Contributor
- URN
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
26.01.2023, 1:53 PM CET
Other Objects (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
Concept Descriptions with Set Constraints and Cardinality Constraints
A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL
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
81-83 Ueber das Mysterium des Genitor und Genitus
645-650 Ueber den Unterschied des Geschaffenseyns und des Geborenseyns von Gott
Verification of Golog Programs over Description Logic Actions
Mixing Description Logics in Privacy-Preserving Ontology Publishing
On Language Equations with One-sided Concatenation
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
Concept Descriptions with Set Constraints and Cardinality Constraints
A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL
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
81-83 Ueber das Mysterium des Genitor und Genitus
645-650 Ueber den Unterschied des Geschaffenseyns und des Geborenseyns von Gott
Verification of Golog Programs over Description Logic Actions
Mixing Description Logics in Privacy-Preserving Ontology Publishing
On Language Equations with One-sided Concatenation
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
Concept Descriptions with Set Constraints and Cardinality Constraints
A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL
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
81-83 Ueber das Mysterium des Genitor und Genitus
645-650 Ueber den Unterschied des Geschaffenseyns und des Geborenseyns von Gott
Verification of Golog Programs over Description Logic Actions
Mixing Description Logics in Privacy-Preserving Ontology Publishing