Reasoning about Semantic Web in Isabelle/HOL.
Yue TangJin Song DongJing SunBrendan P. MahonyPublished in: APSEC (2004)
Keyphrases
- semantic web
- theorem prover
- natural deduction
- theorem proving
- inference rules
- knowledge representation
- first order logic
- semantic annotation
- linked data
- semantic web technologies
- semantically annotated
- semantic data
- semantic web data
- description logics
- semantic technologies
- machine processable
- semantic search
- knowledge management
- rdf data
- current web
- using semantic web technologies
- web services
- machine learning