Semantics for the Semantic Web: The Implicit, the Formal and the Powerful.
Amit P. ShethCartic RamakrishnanChristopher ThomasPublished in: Int. J. Semantic Web Inf. Syst. (2005)
Keyphrases
- machine processable
- semantic web
- formal language
- owl ontologies
- open world
- operational semantics
- current web
- owl dl
- model theoretic
- formal semantics
- logic programming
- semantic web technologies
- rule language
- knowledge base
- knowledge representation
- highly expressive
- formal methods
- formal model
- semantic web data
- mathematical theory
- knowledge representation languages
- semantic information
- specification languages
- web pages
- semantic web languages
- semantic mapping
- representing knowledge
- ontology languages
- ontology learning
- linked data
- high level
- metadata