- Sprache
-
Englisch
- Identifier
-
1060437295
- Reihe
-
Ulmer Informatik-Berichte
Thema
Schlussfolgern; Tableau ; Terminologische Logik; Absorption; Optimierung
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:54 MEZ
Objekttyp
- Monografie
Ähnliche Objekte (12)
Nominal schema absorption : technical report
Extended caching, backjumping and merging for expressive description logics
Coupling tableau algorithms for the DL SROIQ with completion-based saturation procedures
Document verification with temporal description logics
Belief Revision in Expressive Knowledge Representation Formalisms
Optimisation of tableau-based reasoning systems for expressive description logics
Reasoning with OWL - system support and insights
Supporting Format Migration with Ontology Model Comparison
Supporting format migration with ontology model comparison
Relational exploration : combining description logics and formal concept analysis for knowledge specification
Resolution-based decision procedures for subclasses of first-order logic
Interaction of ON and OFF pathways for visual contrast measurement
Nominal schema absorption : technical report
Extended caching, backjumping and merging for expressive description logics
Coupling tableau algorithms for the DL SROIQ with completion-based saturation procedures
Document verification with temporal description logics
Belief Revision in Expressive Knowledge Representation Formalisms
Optimisation of tableau-based reasoning systems for expressive description logics
Reasoning with OWL - system support and insights
Supporting Format Migration with Ontology Model Comparison
Supporting format migration with ontology model comparison
Relational exploration : combining description logics and formal concept analysis for knowledge specification
Resolution-based decision procedures for subclasses of first-order logic
Interaction of ON and OFF pathways for visual contrast measurement
Nominal schema absorption : technical report
Extended caching, backjumping and merging for expressive description logics
Coupling tableau algorithms for the DL SROIQ with completion-based saturation procedures
Document verification with temporal description logics
Belief Revision in Expressive Knowledge Representation Formalisms
Optimisation of tableau-based reasoning systems for expressive description logics
Reasoning with OWL - system support and insights
Supporting Format Migration with Ontology Model Comparison
Supporting format migration with ontology model comparison
Relational exploration : combining description logics and formal concept analysis for knowledge specification
Resolution-based decision procedures for subclasses of first-order logic