140 likes | 242 Views
Preserving Semantics in the Web. Ralph R. Swick MIT LCS & W3C swick@lcs.mit.edu. Semantic Web Goal. Encourage humans and machines to put more specificity of meaning into the Web to enable … people to find definitions, constraints, translations
E N D
Preserving Semantics in the Web Ralph R. SwickMIT LCS & W3Cswick@lcs.mit.edu
Semantic Web Goal • Encourage humans and machines to put more specificity of meaning into the Webto enable … • people to find definitions, constraints, translations • machines to automate [portions of] processing • preservation of intention across time & space
Annotea - Shared Annotations • Human-level Annotation object described by RDF propertiese.g. • author • date created, date modified • context (specific location within annotated doc) • body (the “text” of the annotation) • type (e.g. Comment, Example, Explanation, …)
Annotations and Meaning • Present: annotators define personal/group/ task/community annotation types using an RDF Schema • each type means whatever its definer wishes it to mean, but that meaning is advertised in the Web • Future: annotators define personal/…/ community properties using RDF Schema or Web Ontology Language
An Annotea Use Case: WAI • WAI (Web Accessibility Initiative) Evaluation and Repair Tool • ERT property definitions are created that are specialized to this task • Annotations include task-specific properties identifying the WAI guidelines that a document fails to meet...
… use case: WAI • ERT annotations can be created by a human expert or by an automated evaluation tool • ERT annotations can be evaluated by a human (a document author) and by automated repair tools • Document author can augment the annotation to communicate state to reviewers and to other tools
XDoc.html Schema Additions for WAI task rdf:subclass Annotation EARLeval rdf:type a:annotates a:context 4GVF1D818 “non spacer IMG with equivalent ALT -- MANUAL –” dc:creator problem Marja explanation a:created OHFR427 dc:date WCAGCP 1.2 2000-01-10T17:20Z checkpoint 2000-01-10T17:20Z
Adding Logic and Rules • Common case:http://www.w3.org/2001/10/daml+oil#samePropertyAs “for samePropertyAs(P, R), read P is an equivalent property to R.”
Equivalence (Synonyms) samePropertyAs subClassOf equivalentTo
Formulae • http://www.w3.org/2000/10/swap/log# • semantics“This connects a document and the formula it parses to.” • forAll • forSome • implies • . . .
cwm - Logic Processor • Forward chaining inference engine • Implements some first-order logic properties for expressing rules in RDFi.e. those in http://www.w3.org/2000/10/swap/log#
WAI proto- rule • “X annotates document_D, X has type EARL:Evaluation, X has EARL:Assertor P, P has WAIcredentials WAIexpert, P asserts R, R has predicate EARL:Fails R has object TestCase_C”implies “X fails TestCase_C”
Further Information • Annoteahttp://www.w3.org/2001/Annotea • cwmhttp://www.w3.org/2000/10/swap/ • Semantic Webhttp://www.w3.org/2001/sw/ • RDF & Web Ontology Languagehttp://www.w3.org/2001/sw/WebOnt/