Monografie
Extended caching, backjumping and merging for expressive description logics
- Sprache
-
Englisch
- Identifier
-
1023728958
- Reihe
-
Ulmer Informatik-Berichte; Nr. 2012,01
Thema
Schlussfolgern; Tableau ; OWL ; Terminologische Logik; Optimierung
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:57 MEZ
Objekttyp
- Monografie
Beteiligte
- Steigmiller, Andreas
- Liebig, Thorsten
- Glimm, Birte
Ähnliche Objekte (12)
Nominal schema absorption
Nominal schema absorption : technical report
Coupling tableau algorithms for the DL SROIQ with completion-based saturation procedures
Document verification with temporal description logics
Optimisation of tableau-based reasoning systems for expressive description logics
Belief Revision in Expressive Knowledge Representation Formalisms
Reasoning with OWL - system support and insights
Supporting Format Migration with Ontology Model Comparison
Model and Proof Theory of Constructive ALC, Constructive Description Logics
Supporting format migration with ontology model comparison
Interaction of ON and OFF pathways for visual contrast measurement
Model and proof theory of constructive ALC : constructive description logics
Nominal schema absorption
Nominal schema absorption : technical report
Coupling tableau algorithms for the DL SROIQ with completion-based saturation procedures
Document verification with temporal description logics
Optimisation of tableau-based reasoning systems for expressive description logics
Belief Revision in Expressive Knowledge Representation Formalisms
Reasoning with OWL - system support and insights
Supporting Format Migration with Ontology Model Comparison
Model and Proof Theory of Constructive ALC, Constructive Description Logics
Supporting format migration with ontology model comparison
Interaction of ON and OFF pathways for visual contrast measurement
Model and proof theory of constructive ALC : constructive description logics
Nominal schema absorption
Nominal schema absorption : technical report
Coupling tableau algorithms for the DL SROIQ with completion-based saturation procedures
Document verification with temporal description logics
Optimisation of tableau-based reasoning systems for expressive description logics
Belief Revision in Expressive Knowledge Representation Formalisms
Reasoning with OWL - system support and insights
Supporting Format Migration with Ontology Model Comparison
Model and Proof Theory of Constructive ALC, Constructive Description Logics
Supporting format migration with ontology model comparison
Interaction of ON and OFF pathways for visual contrast measurement