Tools for the QuOnto System - Conversion between OWL and DL-Lite with Protégé-OWL Plug-in.
Manuel DioturniMaurizio IacovellaPublished in: Description Logics (2007)
Keyphrases
- semantic web
- ontology languages
- owl ontologies
- description logics
- dl lite
- knowledge representation
- knowledge base
- reasoning services
- owl dl
- ontology reasoning
- query answering
- semantic annotation
- database
- expressive power
- conceptual modeling
- data types
- computational properties
- query processing
- theorem prover
- formal semantics
- data complexity
- artificial intelligence