Reasoning Services for an OWL Authoring Tool: An Experience Report .
Thorsten LiebigHolger PfeiferFriedrich W. von HenkePublished in: Description Logics (2004)
Keyphrases
- authoring tool
- reasoning services
- description logics
- ontology languages
- owl dl
- learning objects
- semantic web
- learning resources
- intelligent tutoring systems
- video games
- learning design
- current situation
- reasoning systems
- knowledge base
- scorm compliant
- formal semantics
- data types
- query answering
- learning content
- computational properties
- conceptual modeling
- ims qti
- reasoning tasks
- data complexity
- expressive power
- learning experience
- dl lite
- knowledge representation
- e learning
- artificial intelligence
- databases