The OWL in the CASL - Designing Ontologies Across Logics.
Oliver KutzDominik LückeTill MossakowskiImmanuel NormannPublished in: OWLED (2008)
Keyphrases
- semantic web
- ontology languages
- semantic web technologies
- owl ontologies
- knowledge representation
- expressive power
- knowledge base
- data complexity
- ontology mappings
- web ontology language
- owl dl
- ontology reasoning
- description logics
- knowledge representation formalisms
- reasoning services
- domain ontology
- databases
- domain specific
- semantic description
- ontology mapping
- inference rules
- modal logic
- semantic technologies
- web ontologies
- ontological reasoning
- semantic web standards
- conceptual modeling
- default logic
- knowledge management
- nonmonotonic logics
- reasoning problems
- computational properties
- semantic heterogeneity
- design patterns
- semantic annotation
- semi automatic
- knowledge based systems
- expert systems