Linked data basic notions!
|
|
- Quentin Atkinson
- 6 years ago
- Views:
Transcription
1 Linked data basic notions
2 see
3 RDF RDF stands for Resource Description Framework It is a W3C Recommendation ü RDF is a graphical formalism ( + XML syntax + semantics) ü for representing metadata ü for describing the semantics of information in a machine- accessible way Provides a simple data model based on triples.
4 The RDF Data Model Statements are <subject, predicate, object> triples: ü <Sean,hasColleague,Ian> Can be represented as a graph: Sea n hascolleague Statements describe properties of resources A resource is any object that can be pointed to by a URI: ü The generic set of all names/addresses that are short strings that refer to resources ü a document, a picture, a paragraph on the Web, a book in the library, a real person (?), isbn:// Properties themselves are also resources (URIs) Ia n
5 Linking Statements The subject of one statement can be the object of another Such collections of statements form a directed, labeled graph Paol o hasname Paolo Bouquet hascolleague hascolleague Ilya Marco hashomepage
6 RDF Syntax RDF has an XML syntax that has a specific meaning: Every Description element describes a resource Every attribute or nested element inside a Description is a property of that Resource We can refer to resources by URIs <Description about="some.uri/person/paolo_bouquet"> <hascolleague resource="some.uri/person/marco_ronchetti"/> <hasname rdf:datatype="&xsd;string">paolo Bouquet</hasName> </Description> <Description about="some.uri/person/marco_ronchetti"> <o:hashomepage> </Description> <Description about="some.uri/person/fausto_giunchiglia"> <o:hascolleague resource="some.uri/person/fausto_giunchiglia"/> </Description>
7 What does RDF give us? A mechanism for annotating data and resources. Single (simple) data model. Syntactic consistency between names (URIs). Low level integration of data.
8 RDF(S): RDF Schema RDF gives a formalism for meta data annotation, and a way to write it down in XML, but it does not give any special meaning to vocabulary such as subclassof or type ü Interpretation is an arbitrary binary relation RDF Schema extends RDF with a schema vocabulary that allows you to define basic vocabulary terms and the relations between those terms ü Class, type, subclassof, ü Property, subpropertyof, range, domain ü it gives extra meaning to particular RDF predicates and resources ü this extra meaning, or semantics, specifies how a term should be interpreted
9 RDF(S) Examples RDF Schema terms (just a few examples): ü Class; Property ü type; subclassof ü range; domain These terms are the RDF Schema building blocks (constructors) used to create vocabularies: ü <Person,type,Class> ü <hascolleague,type,property> ü <Professor,subClassOf,Person> ü <Carole,type,Professor> ü <hascolleague,range,person> ü <hascolleague,domain,person>
10 RDF/RDF(S) Liberality No distinction between classes and instances (individuals) <Species,type,Class> <Lion,type,Species> <Leo,type,Lion> Properties can themselves have properties <hasdaughter,subpropertyof,haschild> <hasdaughter,type,familyproperty> No distinction between language constructors and ontology vocabulary, so constructors can be applied to themselves/each other <type,range,class> <Property,type,Class> <type,subpropertyof,subclassof>
11 RDF(S) Inference rdf:type rdfs:class Person rdfs:subclassof rdfs:subclassof Academi c rdf:type rdf:type rdf:subclassof Lecturer
12 RDF(S) Inference rdf:type rdfs:class Academic rdfs:subclassof rdf:type rdfs:type Lecturer rdf:type Sean
13 What does RDF(S) give us? Ability to use simple schema/vocabularies when describing our resources. Consistent vocabulary use and sharing. Simple inference
14 Problems with RDF(S) RDF(S) is too weak to describe resources in sufficient detail ü No localised range and domain constraints ü Can t say that the range of haschild is Person when applied to Persons and Elephant when applied to Elephants ü No existence/cardinality constraints ü Can t say that all instances of Person have a mother that is also a Person, or that Persons have exactly 2 parents ü No transitive, inverse or symmetrical properties ü Can t say that ispartof is a transitive property, that haspart is the inverse of ispartof or that touches is symmetrical Difficult to provide reasoning support ü No native reasoners for non-standard semantics ü May be possible to reason via FO axiomatisation
15 Solution Extend RDF(S) with a language that has the following desirable features identified for Web Ontology Language ü Extends existing Web standards ü Such as XML, RDF, RDFS ü Easy to understand and use ü Should be based on familiar KR idioms ü Of adequate expressive power ü Formally specified ü Possible to provide automated reasoning support That language is OWL.
16 Introduction to OWL Marco Ronchetti Università di Trento Italy
17 Languages Work on Semantic Web has concentrated on the definition of a collection or stack of languages. ü These languages are then used to support the representation and use of metadata. Basic machinery to represent the extra semantic information needed for the Semantic Web ü XML ü RDF ü RDF(S) ü OWL ü OWL RDF(S) RDF XML Annotation Integration Inference
18 OWL: Web Ontology Language RDF/RDF(S) DAML DAML-ONT Joint EU/US Committee Frames OIL DAML+OIL W3C OWL Description Logics OntoKnowledge+Others
19 Ontology A heavily overloaded term with several different meanings in different disciplines: ü Philosophy ü Linguistics ü Computer Science)
20 Ontology - Philosophy Ontology deals with the nature and organisation of reality (Aristotele) Tries to answer the questions: What characterizes being? What is being?
21 Ontology - Linguistics a concept, is the mediator that relates the symbol to its object Concept of TANK activates Relates to Symbol "Tank" Stands for Referent "Semiotic triangle"
22 Ontology - Computer Science Rudi Studer(98)
23 A Semantic continuum Further to the right: Less ambiguity Better inter-operation More robust More difficult
24 Basic terms Individuals - objects in the domain of interest Properties - binary relations on individuals Classes - (concepts) sets that contain individuals
25 Structure of an Ontology Ontologies typically have two distinct components: Names for important concepts in the domain ü Elephant is a concept whose members are a kind of animal ü Herbivore is a concept whose members are exactly those animals who eat only plants or parts of plants ü Adult_Elephant is a concept whose members are exactly those elephants whose age is greater than 20 years Background knowledge/constraints on the domain ü Adult_Elephants weigh at least 2,000 kg ü All Elephants are either African_Elephants or Indian_Elephants ü No individual can be both a Herbivore and a Carnivore
26 Ontology Languages There are a wide variety of languages for Explicit Specification ü Graphical Notations ü Semantic Networks ü Topic Maps ü UML ü RDF
27 Ontology Languages There are a wide variety of languages for Explicit Specification ü Graphical Notations ü Semantic Networks ü Topic Maps ü UML ü RDF ü Logic Based ü Description Logics ü Rules ü First Order Logic ü Conceptual Graphs
28 Requirements for Ontology Languages Ontology languages allow users to write explicit, formal conceptualizations of domain models The main requirements are: ü a well-defined syntax ü efficient reasoning support ü a formal semantics ü sufficient expressive power ü convenience of expression
29 Tradeoff between Expressive Power and Efficient Reasoning Support The richer the language is, the more inefficient the reasoning support becomes Sometimes it crosses the border of noncomputability We need a compromise: ü A language supported by reasonably efficient reasoners ü A language that can express large classes of ontologies and knowledge.
30 Was nt RDF(S) enough? OWL RDF(S) RDF XML Annotation Integration Inference
31 Reasoning About Knowledge in Ontology Languages Class membership ü If x is an instance of a class C, and C is a subclass of D, then we can infer that x is an instance of D Equivalence of classes ü If class A is equivalent to class B, and class B is equivalent to class C, then A is equivalent to C, too
32 Reasoning About Knowledge in Ontology Languages (2) Consistency ü X instance of classes A and B, but A and B are disjoint ü This is an indication of an error in the ontology Classification ü Certain property-value pairs are a sufficient condition for membership in a class A; if an individual x satisfies such conditions, we can conclude that x must be an instance of A
33 Uses for Reasoning Reasoning support is important for ü checking the consistency of the ontology and the knowledge ü checking for unintended relationships between classes ü automatically classifying instances in classes Checks like the preceding ones are valuable for ü designing large ontologies, where multiple authors are involved ü integrating and sharing ontologies from various sources
34 Reasoning Support for OWL Semantics is a prerequisite for reasoning support Formal semantics and reasoning support are usually provided by ü mapping an ontology language to a known logical formalism ü using automated reasoners that already exist for those formalisms OWL is (partially) mapped on a description logic, and makes use of reasoners such as Pellet and RACER Description logics are a subset of predicate logic for which efficient reasoning support is possible
35 Limitations of the Expressive Power of RDF Schema Local scope of properties ü rdfs:range defines the range of a property (e.g. eats) for all classes ü In RDF Schema we cannot declare range restrictions that apply to some classes only ü E.g. we cannot say that cows eat only plants, while other animals may eat meat, too
36 Limitations of the Expressive Power of RDF Schema (2) Disjointness of classes ü Sometimes we wish to say that classes are disjoint (e.g. male and female) Boolean combinations of classes ü Sometimes we wish to build new classes by combining other classes using union, intersection, and complement ü E.g. person is the disjoint union of the classes male and female
37 Limitations of the Expressive Power of RDF Schema (3) Cardinality restrictions ü E.g. a person has exactly two parents, a course is taught by at least one lecturer Special characteristics of properties ü Transitive property (like greater than ) ü Unique property (like is mother of ) ü A property is the inverse of another property (like eats and is eaten by )
38 Three Species of OWL W3C sweb Ontology Working Group defined OWL as three different sublanguages: ü OWL Full ü OWL DL ü OWL Lite Each sublanguage geared toward fulfilling different aspects of requirements
39 OWL Full (FOP) It uses all the OWL languages primitives It allows the combination of these primitives in arbitrary ways with RDF and RDF Schema OWL Full is fully upward-compatible with RDF, both syntactically and semantically OWL Full is so powerful that it is undecidable ü No complete (or efficient) reasoning support
40 OWL DL OWL DL (Description Logic) is a sublanguage of OWL Full that restricts application of the constructors from OWL and RDF ü Application of OWL s constructors to each other is disallowed ü Therefore it corresponds to a well studied description logic OWL DL permits efficient reasoning support But we lose full compatibility with RDF: ü Not every RDF document is a legal OWL DL document. ü Every legal OWL DL document is a legal RDF document.
41 Aside: Description Logics A family of logic based Knowledge Representation formalisms ü Descendants of semantic networks and KL-ONE ü Describe domain in terms of concepts (classes), roles (relationships) and individuals Distinguished by: ü Formal semantics (typically model theoretic) ü Decidable fragments of FOL ü Closely related to Propositional Modal & Dynamic Logics ü Provision of inference services ü Sound and complete decision procedures for key problems ü Implemented systems (highly optimised)
42 DL Semantics Model theoretic semantics. An interpretation consists of ü A domain of discourse (a collection of objects) ü Functions mapping ü classes to sets of objects ü properties to sets of pairs of objects ü Rules describe how to interpret the constructors and tell us when an interpretation is a model. In a DL, a class description is thus a characterisation of the individuals that are members of that class.
43 OWL Lite An even further restriction limits OWL DL to a subset of the language constructors ü E.g., OWL Lite excludes enumerated classes, disjointness statements, and arbitrary cardinality. The advantage of this is a language that is easier to ü grasp, for users ü implement, for tool builders The disadvantage is restricted expressivity
44 Closed World Assumption OWL currently adopts the open-world assumption: ü A statement cannot be assumed true on the basis of a failure to prove it ü On the huge and only partially knowable WWW, this is a correct assumption Closed-world assumption: a statement is true when its negation cannot be proved ü tied to the notion of defaults, leads to nonmonotonic behaviour
45 Unique Names Assumption Typical database applications assume that individuals with different names are indeed different individuals OWL follows the usual logical paradigm where this is not the case ü Plausible on the WWW One may want to indicate portions of the ontology for which the assumption does or does not hold
46 Properties Symmetric (A p B) (B p A) Transitive (A p B), (B p C) (A p C)
47 Properties Functional (A p B), (A p C) B=C Inverse Functional
48 Existential Restriction Prop ClassA (someveluefrom) Every individual must have at least one prop releshionship with a member of class A (Necessary condition) (Open World Assumption)
49 Universal Restriction Prop ClassA (allveluesfrom) If relation for prop exists, it must be with an element of ClassA
50 Combining Universal & Existential Prop ClassA Prop ClassA Every individual has prop with at least one element in class A, and no individual has prop with elements not belonging to class A Necessary and sufficient condition Definition
51 Closure Axiom Prop (ClassA ClassB) Prop ClassA Prop ClassB Every individual has prop with at least one element in either class A or Class B, and with no other classes.
52 Tools Editors ü Protégé OWL, SWOOP, ICOM, TopQuadrant Composer, OntoTrack, NeOn ü Tend to present the user with frame-like interfaces, but allow richer expressions ü Offer the possibility of using reasoners. Reasoners ü DL style reasoners based on tableaux algorithms ü Racer, FaCT++, Pellet ü Based on rules or F-logic ü F-OWL, E-Wallet.. APIs and Frameworks ü Jena, WonderWeb OWL-API, Protégé OWL API, OWLIM
53 Protégé ü Is a knowledge modelling environment ü Is free, open source software ü Is developed by Stanford Medical Informatics ü Has a large user community ü Supports development of plugins to allow backend / interface extensions (e.g. reasoners) ü supports OWL
54 Credits A Practical Introduction to Ontologies & OWL Duncan Hall & Nick Drummonds A Semantic Web Primer Grigoris Antoniou & Frank van Harmelen Ontology Languages for the Semantic Web Sean Bechhofer A Practical Guide To Building OWL Ontologies Using The Protege-OWL Plugin and CO-ODE Tools Matthew Horridge et al.
55 An African Wildlife Ontology Class Hierarchy
56 An African Wildlife Ontology Schematic Representation Βranches are parts of trees
57 An African Wildlife Ontology Properties <owl:transitiveproperty rdf:id="is-part-of"/> <owl:objectproperty rdf:id="eats"> <rdfs:domain rdf:resource="#animal"/> </owl:objectproperty> <owl:objectproperty rdf:id="eaten-by"> <owl:inverseof rdf:resource="#eats"/> </owl:objectproperty>
58 An African Wildlife Ontology Plants and Trees <owl:class rdf:id="plant"> <rdfs:comment>plants are disjoint from animals. </rdfs:comment> <owl:disjointwith="#animal"/> </owl:class> <owl:class rdf:id="tree"> <rdfs:comment>trees are a type of plant. </ rdfs:comment> <rdfs:subclassof rdf:resource="#plant"/> </owl:class>
59 An African Wildlife Ontology Branches <owl:class rdf:id="branch"> <rdfs:comment>branches are parts of trees. </rdfs:comment> <rdfs:subclassof> <owl:restriction> <owl:onproperty rdf:resource="#is-part-of"/> <owl:allvaluesfrom rdf:resource="#tree"/> </owl:restriction> </rdfs:subclassof> </owl:class>
60 An African Wildlife Ontology Leaves <owl:class rdf:id="leaf"> <rdfs:comment>leaves are parts of branches. </ rdfs:comment> <rdfs:subclassof> <owl:restriction> <owl:onproperty rdf:resource="#is-part-of"/> <owl:allvaluesfrom rdf:resource="#branch"/> </owl:restriction> </rdfs:subclassof> </owl:class>
61 An African Wildlife Ontology Carnivores <owl:class rdf:id="carnivore"> <rdfs:comment>carnivores are exactly those animals that eat also animals.</rdfs:comment> <owl:intersectionof rdf:parsetype="collection"> <owl:class rdf:about="#animal"/> <owl:restriction> <owl:onproperty rdf:resource="#eats"/> <owl:somevaluesfrom rdf:resource="#animal"/> </owl:restriction> </owl:intersectionof> </owl:class>
62 An African Wildlife Ontology Herbivores <owl:class rdf:id="herbivore"> <rdfs:comment> Herbivores are exactly those animals that eat only plants or parts of plants. </rdfs:comment> <rdfs:comment> Try it out See book for code. <rdfs:comment> </owl:class>
63 An African Wildlife Ontology Giraffes <owl:class rdf:id="giraffe"> <rdfs:comment>giraffes are herbivores, and they eat only leaves.</rdfs:comment> <rdfs:subclassof rdf:type="#herbivore"/> <rdfs:subclassof> <owl:restriction> <owl:onproperty rdf:resource="#eats"/> <owl:allvaluesfrom rdf:resource="#leaf"/> </owl:restriction> </rdfs:subclassof> </owl:class>
64 An African Wildlife Ontology Lions <owl:class rdf:id="lion"> <rdfs:comment>lions are animals that eat only herbivores.</rdfs:comment> <rdfs:subclassof rdf:type="#carnivore"/> <rdfs:subclassof> <owl:restriction> <owl:onproperty rdf:resource="#eats"/> <owl:allvaluesfrom rdf:resource="#herbivore"/> </owl:restriction> </rdfs:subclassof> </owl:class>
65 An African Wildlife Ontology Tasty Plants owl:class rdf:id="tasty-plant"> <rdfs:comment>plants eaten both by herbivores and carnivores </rdfs:comment> <rdfs:comment> Try it out See book for code. <rdfs:comment> </owl:class>
66 A Printer Ontology Class Hierarchy
67 A Printer Ontology Products and Devices <owl:class rdf:id="product"> <rdfs:comment>products form a class. </rdfs:comment> </owl:class> <owl:class rdf:id="padid"> <rdfs:comment>printing and digital imaging devices form a subclass of products.</rdfs:comment> <rdfs:label>device</rdfs:label> <rdfs:subclassof rdf:resource="#product"/> </owl:class>
68 A Printer Ontology HP Products <owl:class rdf:id="hpproduct"> <owl:intersectionof> <owl:class rdf:about="#product"/> <owl:restriction> <owl:onproperty rdf:resource="#manufactured-by"/> <owl:hasvalue> <xsd:string rdf:value="hewlett Packard"/> </owl:hasvalue> </owl:restriction> </owl:intersectionof> </owl:class>
69 A Printer Ontology Printers and Personal Printers <owl:class rdf:id="printer"> <rdfs:comment>printers are printing and digital imaging devices.</rdfs:comment> <rdfs:subclassof rdf:resource="#padid"/> </owl:class> <owl:class rdf:id="personalprinter"> <rdfs:comment>printers for personal use form a subclass of printers.</rdfs:comment> <rdfs:subclassof rdf:resource="#printer"/> </owl:class>
70 A Printer Ontology HP LaserJet 1100se Printers <owl:class rdf:id="1100se"> <rdfs:comment>1100se printers belong to the 1100 series and cost $450.</rdfs:comment> <rdfs:subclassof rdf:resource="#1100series"/> <rdfs:subclassof> <owl:restriction> <owl:onproperty rdf:resource="#price"/> <owl:hasvalue><xsd:integer rdf:value="450"/> </owl:hasvalue> </owl:restriction> </rdfs:subclassof> </owl:class>
71 A Printer Ontology Properties <owl:datatypeproperty rdf:id="manufactured-by"> <rdfs:domain rdf:resource="#product"/> <rdfs:range rdf:resource="&xsd;string"/> </owl:datatypeproperty> <owl:datatypeproperty rdf:id="printingtechnology"> <rdfs:domain rdf:resource="#printer"/> <rdfs:range rdf:resource="&xsd;string"/> </owl:datatypeproperty>
72 Summary OWL is the proposed standard for Web ontologies OWL builds upon RDF and RDF Schema: ü (XML-based) RDF syntax is used ü Instances are defined using RDF descriptions ü Most RDFS modeling primitives are used
73 Summary (2) Formal semantics and reasoning support is provided through the mapping of OWL on logics ü Predicate logic and description logics have been used for this purpose While OWL is sufficiently rich to be used in practice, extensions are in the making ü They will provide further logical features, including rules
OWL a glimpse. OWL a glimpse (2) requirements for ontology languages. requirements for ontology languages
OWL a glimpse OWL Web Ontology Language describes classes, properties and relations among conceptual objects lecture 7: owl - introduction of#27# ece#720,#winter# 12# 2# of#27# OWL a glimpse (2) requirements
More informationIntroduction to OWL. Marco Ronchetti Università di Trento Italy
Introduction to OWL Marco Ronchetti Università di Trento Italy Languages Work on Semantic Web has concentrated on the definition of a collection or stack of languages.! These languages are then used to
More informationLinked Data and RDF. COMP60421 Sean Bechhofer
Linked Data and RDF COMP60421 Sean Bechhofer sean.bechhofer@manchester.ac.uk Building a Semantic Web Annotation Associating metadata with resources Integration Integrating information sources Inference
More informationWeb Ontology Language: OWL
Web Ontology Language: OWL Grigoris Antoniou Frank van Harmelen 1 Lecture Outline 1. Basic Ideas of OWL 2. The OWL Language 3. Examples 4. The OWL Namespace 5. Future Extensions 2 Requirements for Ontology
More informationWeb Ontology Language: OWL
Web Ontology Language: OWL Bojan Furlan A Semantic Web Primer, G. Antoniou, F. van Harmelen Requirements for Ontology Languages Ontology languages allow users to write explicit, formal conceptualizations
More informationWeb Ontology Language: OWL by Grigoris Antoniou Frank van Harmelen
Web Ontology Language: OWL by Grigoris Antoniou Frank van Harmelen Reference: `A Semantic Web Primer, by Grigoris Antoniou and Frank van Harmelen, The MIT Press, 2004 Lecture Outline 1. Basic Ideas of
More informationLinked Data and RDF. COMP60421 Sean Bechhofer
Linked Data and RDF COMP60421 Sean Bechhofer sean.bechhofer@manchester.ac.uk Building a Semantic Web Annotation Associating metadata with resources Integration Integrating information sources Inference
More informationSemantic Web. RDF and RDF Schema. Morteza Amini. Sharif University of Technology Spring 90-91
بسمه تعالی Semantic Web RDF and RDF Schema Morteza Amini Sharif University of Technology Spring 90-91 Outline Metadata RDF RDFS RDF(S) Tools 2 Semantic Web: Problems (1) Too much Web information around
More informationHelmi Ben Hmida Hannover University, Germany
Helmi Ben Hmida Hannover University, Germany 1 Summarizing the Problem: Computers don t understand Meaning My mouse is broken. I need a new one 2 The Semantic Web Vision the idea of having data on the
More informationOntologies and OWL. Riccardo Rosati. Knowledge Representation and Semantic Technologies
Knowledge Representation and Semantic Technologies Ontologies and OWL Riccardo Rosati Corso di Laurea Magistrale in Ingegneria Informatica Sapienza Università di Roma 2016/2017 The Semantic Web Tower Ontologies
More informationWeb Ontology Language: OWL
Web Ontology Language: OWL 1 Requirements for Ontology Languages Ontology languages allow users to write explicit, formal conceptualizations of domain models The main requirements are: a well-defined syntax
More informationChapter 4 Web Ontology Language: OWL
Web Ontology Language: OWL Grigoris Antoniou Frank van Harmelen 1 Lecture Outline 1. Basic Ideas of OWL 2. The OWL Language 3. Examples 4. The OWL Namespace 5. Future Extensions 2 Requirements for Ontology
More informationSemantic Web. Part 3 The ontology layer 1: Ontologies, Description Logics, and OWL
Semantic Web Part 3 The ontology layer 1: Ontologies, Description Logics, and OWL Riccardo Rosati Corso di Laurea Magistrale in Ingegneria Informatica Sapienza Università di Roma 2012/2013 REMARK Most
More information08 OWL SEMANTIC WEB ONTOLOGY WEB LANGUAGE IMRAN IHSAN ASSISTANT PROFESSOR, AIR UNIVERSITY, ISLAMABAD
SEMANTIC WEB 08 OWL ONTOLOGY WEB LANGUAGE IMRAN IHSAN ASSISTANT PROFESSOR, AIR UNIVERSITY, ISLAMABAD WWW.IMRANIHSAN.COM BASED ON SLIDES FROM GRIGORIS ANTONIOU AND FRANK VAN HARMELEN THE OWL FAMILY TREE
More informationSKOS. COMP60421 Sean Bechhofer
SKOS COMP60421 Sean Bechhofer sean.bechhofer@manchester.ac.uk Ontologies Metadata Resources marked-up with descriptions of their content. No good unless everyone speaks the same language; Terminologies
More informationChapter 4 OWL. Outline. A Brief History of OWL: SHOE. The OWL Family Tree
Chapter 4 OWL Outline 1. A bit of history 2. Basic Ideas of OWL 3. The OWL Language 4. Examples 5. The OWL Namespace 6. Future Extensions Based on slides from Grigoris Antoniou and Frank van Harmelen The
More informationSemantic Services. Michael Wollowski
Semantic Services Michael Wollowski Overview Motivation Web services RDF RDFS/OWL Inference Seamless web Motivation Consider the future scenario of a wired world described in the next three slides. How
More informationThe OWL API: An Introduction
The OWL API: An Introduction Sean Bechhofer and Nicolas Matentzoglu University of Manchester sean.bechhofer@manchester.ac.uk OWL OWL allows us to describe a domain in terms of: Individuals Particular objects
More informationAdding formal semantics to the Web
Adding formal semantics to the Web building on top of RDF Schema Jeen Broekstra On-To-Knowledge project Context On-To-Knowledge IST project about content-driven knowledge management through evolving ontologies
More informationSemantic Web Ontologies
Semantic Web Ontologies CS 431 April 4, 2005 Carl Lagoze Cornell University Acknowledgements: Alun Preece RDF Schemas Declaration of vocabularies classes, properties, and structures defined by a particular
More informationDescription Logic. Eva Mráková,
Description Logic Eva Mráková, glum@fi.muni.cz Motivation: ontology individuals/objects/instances ElizabethII Philip Philip, Anne constants in FOPL concepts/classes/types Charles Anne Andrew Edward Male,
More informationSemantic Web Technologies: Web Ontology Language
Semantic Web Technologies: Web Ontology Language Motivation OWL Formal Semantic OWL Synopsis OWL Programming Introduction XML / XML Schema provides a portable framework for defining a syntax RDF forms
More informationMain topics: Presenter: Introduction to OWL Protégé, an ontology editor OWL 2 Semantic reasoner Summary TDT OWL
1 TDT4215 Web Intelligence Main topics: Introduction to Web Ontology Language (OWL) Presenter: Stein L. Tomassen 2 Outline Introduction to OWL Protégé, an ontology editor OWL 2 Semantic reasoner Summary
More informationKDI OWL. Fausto Giunchiglia and Mattia Fumagallli. University of Trento
KDI OWL Fausto Giunchiglia and Mattia Fumagallli University of Trento Roadmap Introduction The OWL Full Language OWL DL and OWL lite Exercises 2 Introduction Chapter 1 3 Requirements for Ontology Languages
More informationTable of Contents. iii
Current Web 1 1.1 Current Web History 1 1.2 Current Web Characteristics 2 1.2.1 Current Web Features 2 1.2.2 Current Web Benefits 3 1.2.3. Current Web Applications 3 1.3 Why the Current Web is not Enough
More informationThe Semantic Web. Mansooreh Jalalyazdi
1 هو العليم 2 The Semantic Web Mansooreh Jalalyazdi 3 Content Syntactic web XML Add semantics Representation Language RDF, RDFS OWL Query languages 4 History of the Semantic Web Tim Berners-Lee vision
More informationExtracting knowledge from Ontology using Jena for Semantic Web
Extracting knowledge from Ontology using Jena for Semantic Web Ayesha Ameen I.T Department Deccan College of Engineering and Technology Hyderabad A.P, India ameenayesha@gmail.com Khaleel Ur Rahman Khan
More informationChapter 4 OWL. Outline. The OWL Family Tree. A Brief History of OWL: SHOE
Chapter 4 OWL Outline 1. A bit of history 2. Basic Ideas of OWL 3. The OWL Language 4. Examples 5. The OWL Namespace 6. OWL 2 Based on slides from Grigoris Antoniou and Frank van Harmelen The OWL Family
More informationDeep integration of Python with Semantic Web technologies
Deep integration of Python with Semantic Web technologies Marian Babik, Ladislav Hluchy Intelligent and Knowledge Technologies Group Institute of Informatics, SAS Goals of the presentation Brief introduction
More informationShort notes about OWL 1
University of Rome Tor Vergata Short notes about OWL 1 Manuel Fiorelli fiorelli@info.uniroma2.it [1] this presentation is limited to OWL 1 features. A new version of OWL (OWL 2), which adds further features
More informationOntologies, OWL, OWL profiles
Knowledge Representation and Semantic Technologies Ontologies, OWL, OWL profiles Riccardo Rosati Corso di Laurea Magistrale in Ingegneria Informatica Sapienza Università di Roma 2013/2014 The Semantic
More informationCSc 8711 Report: OWL API
CSc 8711 Report: OWL API Syed Haque Department of Computer Science Georgia State University Atlanta, Georgia 30303 Email: shaque4@student.gsu.edu Abstract: The Semantic Web is an extension of human-readable
More informationDEVELOPING AN OWL ONTOLOGY FOR E- TOURISM
Chapter 4 DEVELOPING AN OWL ONTOLOGY FOR E- TOURISM Jorge Cardoso Department of Mathematics and Engineering, University of Madeira, 9000-390, Funchal, Portugal jcardoso@uma.pt 1. INTRODUCTION Currently,
More informationSemantic Technologies
Semantic Technologies Part 14: Werner Nutt Acknowledgment These slides are based on the Latex version of slides by Markus Krötzsch of TU Dresden W. Nutt Semantic Technologies 2014/2015 (1/66) OWL W. Nutt
More informationl A family of logic based KR formalisms l Distinguished by: l Decidable fragments of FOL l Closely related to Propositional Modal & Dynamic Logics
What Are Description Logics? Description Logics l A family of logic based KR formalisms Descendants of semantic networks and KL-ONE Describe domain in terms of concepts (classes), roles (relationships)
More informationOWL. Web Ontology Languagge
OWL Web Ontlgy Languagge Origins 2 DAML OIL RDF DAML = DARPA Agent Markup Language OIL = Ontlgy Inference Layer DAML+OIL OWL Purpse The purpse f OWL is identical t RDF Schemas - t prvide an XML vcabulary
More informationIntroduction to Protégé. Federico Chesani, 18 Febbraio 2010
Introduction to Protégé Federico Chesani, 18 Febbraio 2010 Ontologies An ontology is a formal, explicit description of a domain of interest Allows to specify: Classes (domain concepts) Semantci relation
More informationEfficient Querying of Web Services Using Ontologies
Journal of Algorithms & Computational Technology Vol. 4 No. 4 575 Efficient Querying of Web Services Using Ontologies K. Saravanan, S. Kripeshwari and Arunkumar Thangavelu School of Computing Sciences,
More informationFOUNDATIONS OF SEMANTIC WEB TECHNOLOGIES
FOUNDATIONS OF SEMANTIC WEB TECHNOLOGIES OWL Syntax & Intuition Sebastian Rudolph Dresden, 26 April 2013 Content Overview & XML 9 APR DS2 Hypertableau II 7 JUN DS5 Introduction into RDF 9 APR DS3 Tutorial
More informationSemantic Web. Ontology and OWL. Morteza Amini. Sharif University of Technology Fall 95-96
ه عا ی Semantic Web Ontology and OWL Morteza Amini Sharif University of Technology Fall 95-96 Outline Introduction & Definitions Ontology Languages OWL (Ontology Web Language) 2 Outline Introduction &
More informationSemantic Web Test
Semantic Web Test 24.01.2017 Group 1 No. A B C D 1 X X X 2 X X 3 X X 4 X X 5 X X 6 X X X X 7 X X 8 X X 9 X X X 10 X X X 11 X 12 X X X 13 X X 14 X X 15 X X 16 X X 17 X 18 X X 19 X 20 X X 1. Which statements
More informationCHAPTER 4 Semantic Web Technologies
CHAPTER 4 Semantic Web Technologies Introduction Web Services Semantic Web Semantic Web Service (SWS) Model for manangement of elearning Resources N3Logic Reasoning Tools Conclusion Chapter 4: Semantic
More informationReasoning with the Web Ontology Language (OWL)
Reasoning with the Web Ontology Language (OWL) JESSE WEAVER, PH.D. Fundamental & Computational Sciences Directorate, Senior Research Computer Scientist Discovery 2020 Short Course on Semantic Data Analysis
More informationStructure of This Presentation
Inferencing for the Semantic Web: A Concise Overview Feihong Hsu fhsu@cs.uic.edu March 27, 2003 Structure of This Presentation General features of inferencing for the Web Inferencing languages Survey of
More informationIntroduction to Ontology. Sudarsun S Director Research Checktronix India Chennai
Introduction to Ontology Sudarsun S Director Research Checktronix India Chennai 600010 What is Ontology? A philosophical discipline a branch of philosophy that deals with the nature and the organisation
More informationFor return on 19 January 2018 (late submission: 2 February 2018)
Semantic Technologies Autumn 2017 Coursework For return on 19 January 2018 (late submission: 2 February 2018) Electronic submission:.pdf and.owl files only 1. (6%) Consider the following XML document:
More informationChapter 2 AN INTRODUCTION TO THE OWL WEB ONTOLOGY LANGUAGE 1. INTRODUCTION. Jeff Heflin Lehigh University
Chapter 2 AN INTRODUCTION TO THE OWL WEB ONTOLOGY LANGUAGE Jeff Heflin Lehigh University Abstract: Key words: 1. INTRODUCTION The OWL Web Ontology Language is an international standard for encoding and
More informationLogic and Reasoning in the Semantic Web (part I RDF/RDFS)
Logic and Reasoning in the Semantic Web (part I RDF/RDFS) Fulvio Corno, Laura Farinetti Politecnico di Torino Dipartimento di Automatica e Informatica e-lite Research Group http://elite.polito.it Outline
More informationGraphOnto: OWL-Based Ontology Management and Multimedia Annotation in the DS-MIRF Framework
GraphOnto: OWL-Based Management and Multimedia Annotation in the DS-MIRF Framework Panagiotis Polydoros, Chrisa Tsinaraki and Stavros Christodoulakis Lab. Of Distributed Multimedia Information Systems,
More information1 Introduction ). [Fensel et al., 2000b]
105 1 Introduction Currently,computersarechangingfromsingleisolateddevicestoentrypointsintoaworldwidenetwork of information exchange and business transactions (cf. [Fensel, 2000]). Support in data, information,
More informationOWL an Ontology Language for the Semantic Web
OWL an Ontology Language for the Semantic Web Ian Horrocks horrocks@cs.man.ac.uk University of Manchester Manchester, UK OWL p. 1/27 Talk Outline OWL p. 2/27 Talk Outline The Semantic Web OWL p. 2/27 Talk
More information3/6/08. Introduction to Ontology Web Language (OWL) Graphs. Representing knowledge. Graphs as knowledge 2. Graphs as knowledge 1
University of Dublin Trinity College Stack Architecture for Semantic Web Introduction to Ontology Web Language (OWL) Dr. Owen Conlan Intro to OWL Declan O Sullivan 2 Representing knowledge There are a
More informationContents. G52IWS: The Semantic Web. The Semantic Web. Semantic web elements. Semantic Web technologies. Semantic Web Services
Contents G52IWS: The Semantic Web Chris Greenhalgh 2007-11-10 Introduction to the Semantic Web Semantic Web technologies Overview RDF OWL Semantic Web Services Concluding comments 1 See Developing Semantic
More informationAn Introduction to the Semantic Web. Jeff Heflin Lehigh University
An Introduction to the Semantic Web Jeff Heflin Lehigh University The Semantic Web Definition The Semantic Web is not a separate Web but an extension of the current one, in which information is given well-defined
More informationINF3580/4580 Semantic Technologies Spring 2017
INF3580/4580 Semantic Technologies Spring 2017 Lecture 10: OWL, the Web Ontology Language Leif Harald Karlsen 20th March 2017 Department of Informatics University of Oslo Reminders Oblig. 5: First deadline
More informationKnowledge Representations. How else can we represent knowledge in addition to formal logic?
Knowledge Representations How else can we represent knowledge in addition to formal logic? 1 Common Knowledge Representations Formal Logic Production Rules Semantic Nets Schemata and Frames 2 Production
More informationBryan Smith May 2010
Bryan Smith May 2010 Tool (Onto2SMem) to generate declarative knowledge base in SMem from ontology Sound (if incomplete) inference Proof of concept Baseline implementation Semantic memory (SMem) Store
More informationOWL and tractability. Based on slides from Ian Horrocks and Franz Baader. Combining the strengths of UMIST and The Victoria University of Manchester
OWL and tractability Based on slides from Ian Horrocks and Franz Baader Where are we? OWL Reasoning DL Extensions Scalability OWL OWL in practice PL/FOL XML RDF(S)/SPARQL Practical Topics Repetition: DL
More informationCHAPTER 2. Overview of Tools and Technologies in Ontology Development
CHAPTER 2 Overview of Tools and Technologies in Ontology Development 2.1. Ontology Representation Languages 2.2. Ontology Development Methodologies 2.3. Ontology Development Tools 2.4. Ontology Query Languages
More informationChapter 3 Research Method
Chapter 3 Research Method 3.1 A Ontology-Based Method As we mention in section 2.3.6, we need a common approach to build up our ontologies for different B2B standards. In this chapter, we present a ontology-based
More informationAn Approach for Composing Web Services through OWL Kumudavalli.N Mtech Software Engineering
www.ijecs.in International Journal Of Engineering And Computer Science ISSN: 2319-7242 Volume 6 Issue 2 Feb. 2017, Page No. 20383-20387 Index Copernicus Value (2015): 58.10, DOI: 10.18535/ijecs/v6i2.39
More informationOntologies and Schema Languages on the Web. Kaveh Shahbaz
Ontologies and Schema Languages on the Web Kaveh Shahbaz 83700805 K_Shahbaz@ce.sharif.edu Outline Abstract Introduction of ontologies and schemas and relations XML schema and ontology Language RDF schema
More informationSemantic Web in Depth: Web Ontology Language (OWL) Dr Nicholas Gibbins 32/3019
Semantic Web in Depth: Web Ontology Language (OWL) Dr Nicholas Gibbins 32/3019 nmg@ecs.soton.ac.uk Introducing OWL For many, RDF Schema is a sufficiently expressive ontology language However, there are
More informationThe ISO D approach
The ISO 15926 4D approach David Leal, 2016-11-14 With examples of the use of OWL DL inferencing Contents 1. Use of 4D Approach to a stream, as in engineering analysis Instantiation to support inferencing
More informationTRIPLE An RDF Query, Inference, and Transformation Language
TRIPLE An RDF Query, Inference, and Transformation Language Michael Sintek sintek@dfki.de DFKI GmbH Stefan Decker stefan@db.stanford.edu Stanford University Database Group DDLP'2001 Tokyo, Japan, October
More informationINF3580 Semantic Technologies Spring 2012
INF3580 Semantic Technologies Spring 2012 Lecture 10: OWL, the Web Ontology Language Martin G. Skjæveland 20th March 2012 Department of Informatics University of Oslo Outline Reminder: RDFS 1 Reminder:
More informationEnabling Knowledge Representation on the Web by Extending RDF Schema
Enabling Knowledge Representation on the Web by Extending RDF Schema Jeen Broekstra, Michel Klein, Stefan Decker, Dieter Fensel, Frank van Harmelen, and Ian Horrocks + Aidministrator Nederland bv, Holland
More informationMulti-agent and Semantic Web Systems: RDF Data Structures
Multi-agent and Semantic Web Systems: RDF Data Structures Fiona McNeill School of Informatics 31st January 2013 Fiona McNeill Multi-agent Semantic Web Systems: RDF Data Structures 31st January 2013 0/25
More information12th ICCRTS. On the Automated Generation of an OWL Ontology based on the Joint C3 Information Exchange Data Model (JC3IEDM)
12th ICCRTS On the Automated Generation of an OWL Ontology based on the Joint C3 Information Exchange Data Model (JC3IEDM) Christopher J. Matheus and Brian Ulicny VIStology, Inc. Framingham, MA, U.S.A.
More informationOntological Modeling: Part 7
Ontological Modeling: Part 7 Terry Halpin LogicBlox and INTI International University This is the seventh in a series of articles on ontology-based approaches to modeling. The main focus is on popular
More informationExtracting Ontologies from Standards: Experiences and Issues
Extracting Ontologies from Standards: Experiences and Issues Ken Baclawski, Yuwang Yin, Sumit Purohit College of Computer and Information Science Northeastern University Eric S. Chan Oracle Abstract We
More informationOntological Modeling: Part 11
Ontological Modeling: Part 11 Terry Halpin LogicBlox and INTI International University This is the eleventh in a series of articles on ontology-based approaches to modeling. The main focus is on popular
More informationRDF Schema. Mario Arrigoni Neri
RDF Schema Mario Arrigoni Neri Semantic heterogeneity Standardization: commitment on common shared markup If no existing application If market-leaders can define de-facto standards Translation: create
More informationProgramming to the OWL API: Introduction
Programming to the OWL API: Introduction Sean Bechhofer University of Manchester sean.bechhofer@manchester.ac.uk Overview Motivation Why? Details What? Where? Samples/Examples How? Wrap Up What next? University
More informationEnabling knowledge representation on the Web by extending RDF Schema
Computer Networks 39 (2002) 609 634 www.elsevier.com/locate/comnet Enabling knowledge representation on the Web by extending RDF Schema Jeen Broekstra a, Michel Klein b, *, Stefan Decker c, Dieter Fensel
More informationDAML+OIL: an Ontology Language for the Semantic Web
DAML+OIL: an Ontology Language for the Semantic Web DAML+OIL Design Objectives Well designed Intuitive to (human) users Adequate expressive power Support machine understanding/reasoning Well defined Clearly
More informationOWL DL / Full Compatability
Peter F. Patel-Schneider, Bell Labs Research Copyright 2007 Bell Labs Model-Theoretic Semantics OWL DL and OWL Full Model Theories Differences Betwen the Two Semantics Forward to OWL 1.1 Model-Theoretic
More informationLogical Foundations for the Semantic Web
Logical Foundations for the Semantic Web Reasoning with Expressive Description Logics: Theory and Practice Ian Horrocks horrocks@cs.man.ac.uk University of Manchester Manchester, UK Logical Foundations
More informationOntological Modeling: Part 2
Ontological Modeling: Part 2 Terry Halpin LogicBlox This is the second in a series of articles on ontology-based approaches to modeling. The main focus is on popular ontology languages proposed for the
More informationRepresenting Product Designs Using a Description Graph Extension to OWL 2
Representing Product Designs Using a Description Graph Extension to OWL 2 Henson Graves Lockheed Martin Aeronautics Company Fort Worth Texas, USA henson.graves@lmco.com Abstract. Product development requires
More informationFOUNDATIONS OF SEMANTIC WEB TECHNOLOGIES
FOUNDATIONS OF SEMANTIC WEB TECHNOLOGIES Semantics of RDF(S) Sebastian Rudolph Dresden, 25 April 2014 Content Overview & XML Introduction into RDF RDFS Syntax & Intuition Tutorial 1 RDFS Semantics RDFS
More informationOntological Modeling: Part 14
Ontological Modeling: Part 14 Terry Halpin INTI International University This is the fourteenth in a series of articles on ontology-based approaches to modeling. The main focus is on popular ontology languages
More informationAutomatic Transformation of Relational Database Schema into OWL Ontologies
Environment. Technology. Resources, Rezekne, Latvia Proceedings of the 10 th International Scientific and Practical Conference. Volume III, 217-222 Automatic Transformation of Relational Database Schema
More informationH1 Spring B. Programmers need to learn the SOAP schema so as to offer and use Web services.
1. (24 points) Identify all of the following statements that are true about the basics of services. A. If you know that two parties implement SOAP, then you can safely conclude they will interoperate at
More informationOntology Building. Ontology Building - Yuhana
Ontology Building Present by : Umi Laili Yuhana [1] Computer Science & Information Engineering National Taiwan University [2] Teknik Informatika Institut Teknologi Sepuluh Nopember ITS Surabaya Indonesia
More information2 nd International Semantic Web Conference (ISWC2003)
2 nd International Semantic Web Conference (ISWC2003) Tutorial: Creating Semantic Web (OWL) Ontologies with Protégé Holger Knublauch, Mark A. Musen, Natasha F. Noy Sanibel Island, Florida, USA, October
More informationSEMANTIC WEB 05 RDF SCHEMA MODELLING SEMANTICS IMRAN IHSAN ASSISTANT PROFESSOR, AIR UNIVERSITY, ISLAMABAD
SEMANTIC WEB 05 RDF SCHEMA MODELLING SEMANTICS IMRAN IHSAN ASSISTANT PROFESSOR, AIR UNIVERSITY, ISLAMABAD WWW.IMRANIHSAN.COM INTRODUCTION RDF has a very simple data model RDF Schema (RDFS) enriches the
More informationIntegration of the Semantic Web with Meta Object Facilities
Integration of the Semantic Web with Meta Object Facilities Work in progress supported by the U.S. General Service Administration s Open Source egov Reference Architecture (OsEra) Project Cory Casanave,
More informationGenea: Schema-Aware Mapping of Ontologies into Relational Databases
Genea: Schema-Aware Mapping of Ontologies into Relational Databases Tim Kraska Uwe Röhm University of Sydney School of Information Technologies Sydney, NSW 2006, Australia mail@tim-kraska.de roehm@it.usyd.edu.au
More informationOntologies and Much More. Presented by Osnat Minz July 2006
Ontologies and Much More Presented by Osnat Minz July 2006 1 Agenda Introduction to semantic web Ontology RDF, RDFs,OWL Introduction to semantic web services Very Brief MDA Introduction Potential Uses
More informationRDF /RDF-S Providing Framework Support to OWL Ontologies
RDF /RDF-S Providing Framework Support to OWL Ontologies Rajiv Pandey #, Dr.Sanjay Dwivedi * # Amity Institute of information Technology, Amity University Lucknow,India * Dept.Of Computer Science,BBA University
More informationORM and Description Logic. Dr. Mustafa Jarrar. STARLab, Vrije Universiteit Brussel, Introduction (Why this tutorial)
Web Information Systems Course University of Hasselt, Belgium April 19, 2007 ORM and Description Logic Dr. Mustafa Jarrar mjarrar@vub.ac.be STARLab, Vrije Universiteit Brussel, Outline Introduction (Why
More informationQuerying Data through Ontologies
Querying Data through Ontologies Instructor: Sebastian Link Thanks to Serge Abiteboul, Ioana Manolescu, Philippe Rigaux, Marie-Christine Rousset and Pierre Senellart Web Data Management and Distribution
More informationOWL 2 Update. Christine Golbreich
OWL 2 Update Christine Golbreich 1 OWL 2 W3C OWL working group is developing OWL 2 see http://www.w3.org/2007/owl/wiki/ Extends OWL with a small but useful set of features Fully backwards
More informationShared content-vocabularies: Ontologies
Semantic Web Languages: RDF, RDF Schema, OWL Frank van Harmelen Vrije Universiteit Amsterdam Shared content-vocabularies: Ontologies Formal, explicit specification of a shared conceptualisation machine
More informationSemantic Web Systems Web Services Part 2 Jacques Fleuriot School of Informatics
Semantic Web Systems Web Services Part 2 Jacques Fleuriot School of Informatics 16 th March 2015 In the previous lecture l Web Services (WS) can be thought of as Remote Procedure Calls. l Messages from
More informationLecture 8 OWL: Web Ontology Language
info-h-509 xml technologies Lecture 8 OWL: Web Ontology Language Stijn Vansummeren February 14, 2017 lecture outline 1 Our story so far 2 Web Ontology Language OWL 3 Reasoning with OWL 1 Part I: Our story
More informationWeb Ontology Language (OWL)
(OWL) Athens 2012 Mikel Egaña Aranguren 3205 Facultad de Informática Universidad Politécnica de Madrid (UPM) Campus de Montegancedo 28660 Boadilla del Monte Spain http://www.oeg-upm.net megana@fi.upm.es
More informationToday: RDF syntax. + conjunctive queries for OWL. KR4SW Winter 2010 Pascal Hitzler 3
Today: RDF syntax + conjunctive queries for OWL KR4SW Winter 2010 Pascal Hitzler 3 Today s Session: RDF Schema 1. Motivation 2. Classes and Class Hierarchies 3. Properties and Property Hierarchies 4. Property
More informationSemantic Web Lecture Part 4. Prof. Do van Thanh
Semantic Web Lecture Part 4 Prof. Do van Thanh The components of the Semantic Web Overview XML provides a surface syntax for structured documents, but imposes no semantic constraints on the meaning of
More information