Next
Previous
The Semantic Web as Ontological Types
- The Semantic Web could allow XML documents to be typed not only be syntactic encoding, but by
their world semantics
- A classic model of world semantics is a logic with a model-theoretic semantics, and OWL provides exactly that.
- "Robert Smith" in some XML document using a Semantic Web-enabled XML Schema can be typed both as a
xsd:string
and the Semantic Web censusOntology:Person
.
- Ontologies should be first-class citizens in typing.
- A crucial difference from typing in programming languages is that an ontological type may provide only partial information about the type.
- Any part of the Infoset can be given be an Semantic Web mapping through Schema annotations or embedding transforms as in GRDDL.
- Ontology for Example