Checking and Reasoning about Semantic Web through Alloy.
Jin Song DongJing SunHai H. WangPublished in: FME (2003)
Keyphrases
- semantic web
- knowledge representation
- linked data
- semantic web technologies
- semantic annotation
- semantically annotated
- ontology mapping
- description logics
- artificial intelligence
- social semantic web
- ontology languages
- semantic data
- rdf data
- semantic desktop
- real world
- decision making
- semantic metadata
- search engine
- semantic web languages