CLASSIC: a structural data model for objects
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Combining Horn rules and description logics in CARIN
Artificial Intelligence
User Modeling and User-Adapted Interaction
Web-adaptive training system based on cognitive student style
Proceedings of the IFIP 17th World Computer Congress - TC3 Stream on TelE-Learning: the Challenge for the Third Millennium
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Position paper: a comparison of two modelling paradigms in the Semantic Web
Proceedings of the 15th international conference on World Wide Web
An essential hybrid reasoning system: knowledge and symbol level accounts of KRYPTON
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
OWL rules: A proposal and prototype implementation
Web Semantics: Science, Services and Agents on the World Wide Web
On the decidability and complexity of integrating ontologies and rules
Web Semantics: Science, Services and Agents on the World Wide Web
Hi-index | 0.00 |
So far, ontologies have been widely used to convey knowledge across the Semantic Web. Complementing web ontologies with Horn-like rules to assert relations among ontology individuals and properties is part of the ongoing implementation of the Semantic Web. Intelligent Web Adaptive Hypermedia Systems (AHS) are the next generation for adaptive hypermedia on the web. We present a web-based intelligent AHS for e-learning that configures on the fly complex learning objects tailored to the user profile. This automatic configuration is entirely accomplished by reasoning over a hybrid Knowledge Base (KB) composed of ontologies, and Horn-like rules defined on top of ontologies concepts. Interoperability on the semantic level is achieved by using an application profile of standard vocabularies, standard languages for the representation of ontologies and rules, and a standard interface for reasoning functionality.