Reasoning support for Semantic Web ontology family languages using Alloy.
Hai H. WangJin Song DongJing SunJun SunPublished in: Multiagent Grid Syst. (2006)
Keyphrases
- semantic web
- semantic web technologies
- knowledge representation
- semantic web rule language
- ontology evolution
- interchange format
- semantic web languages
- owl dl
- knowledge management
- semantic annotation
- collaborative editing
- ontology engineering
- web ontology language
- semantic wiki
- semantically annotated
- linked data
- ontology development
- semantic technologies
- ontology mapping
- ontology learning
- knowledge base
- ontology languages
- rdf schema
- description logics
- using semantic web technologies
- ontology construction
- ontology merging
- current web
- semantic data
- ontological engineering
- knowledge processing
- semantic search
- semantic modeling
- reasoning problems