Semantic Web. Ontology and OWL. Morteza Amini. Sharif University of Technology Fall 95-96

Size: px
Start display at page:

Download "Semantic Web. Ontology and OWL. Morteza Amini. Sharif University of Technology Fall 95-96"

Transcription

1 ه عا ی Semantic Web Ontology and OWL Morteza Amini Sharif University of Technology Fall 95-96

2 Outline Introduction & Definitions Ontology Languages OWL (Ontology Web Language) 2

3 Outline Introduction & Definitions Ontology Languages OWL (Ontology Web Language) 3

4 Where does it come from? ontology n. Philosophy 1692; lat. phil. onto- being + -logia study of The study of what is, what has to be true for something to exist, the kinds of things that can exist. AI and computer science Something exists if it can be represented, described, defined (in a formal, hence, machine-interpretable way). 4

5 Ontologies 5

6 Ontologies (contd.) Ontologies are about vocabularies and their meanings, with explicit, expressive, and well-defined semantics, possibly machine-interpretable. Ontology is a formal specification of a shared conceptualization. Gruber, 1993 Main elements of an ontology: Concepts Relationships Hierarchical Logical Properties Instances (individuals) 6

7 Ontologies in Semantic Web Although XML DTDs and XML Schemas are sufficient for exchanging data between parties who have agreed to definitions beforehand, their lack of semantics prevent machines from reliably performing this task given new XML vocabularies. RDF and RDF Schema begin to approach this problem by allowing simple semantics to be associated with identifiers. With RDF Schema, one can define classes that may have multiple subclasses and super classes, and can define properties, which may have sub properties, domains, and ranges. In this sense, RDF Schema is a simple ontology language. However, in order to achieve interoperation between numerous, autonomously developed and managed schemas, richer semantics are needed. For example, RDF Schema cannot specify that the Person and Car classes are disjoint, or that a string quartet has exactly four musicians as members. 7

8 For Machines... The meaning of the document is not defined. Machines cannot understand it. XML document We are defining the structure of document by XML, but now the meaning of the structure is not defined. <Sentence> <Subject> Paper </Subject> <Verb> is made from </Verb> <Object> Wood </Object> </Sentence> <Σεντενχε> <Συβϕεχτ> Παπερ </Συβϕεχτ> <ςερβ> ισ µαδε φροµ </ςερβ> <Οβϕεχτ> Ωοοδ </Οβϕεχτ> </Σεντενχε> 8

9 Ontology Gives the Meaning... Natural Language Document <Σεντενχε> <Συβϕεχτ> Παπερ </Συβϕεχτ> <ςερβ> ισ µαδε φροµ </ςερβ> <Οβϕεχτ> Ωοοδ </Οβϕεχτ> </Σεντενχε> Ontology 9

10 Why Develop Ontologies? To share common understanding of the structure of information among people or agents and share knowledge E.g., using an ontology for integrating terminologies To reuse domain knowledge E.g., geography ontology To make domain assumptions explicit Facilitate knowledge management, easier to validate, to change, Enable new users to learn about the domain To support interoperability. Terms defined in expressive ontologies allow for mapping precisely how one term relates to another 10

11 Outline Introduction & Definitions Ontology Languages OWL (Ontology Web Language) 11

12 Ontology Languages Graphical notations Semantic networks Topic maps UML RDF(S) Logic based Description Logics (e.g., OIL, DAML+OIL, OWL) Rules (e.g., RuleML, LP/Prolog, SWRL) First Order Logic 12

13 Ontology Languages RDF(S) (Resource Description Framework (Schema)) OIL (Ontology Interchange Language) DAML+OIL (DARPA Agent Markup Language + OIL) OWL (Ontology Web Language) XOL (XML-based Ontology Exchange Language) SHOE (Simple HTML Ontology Extension) OML (Ontology Markup Language) 13

14 Object Oriented Model Many languages use object oriented model: Objects/Instances/Individuals Elements of the domain of discourse Equivalent to constants in FOL Types/Classes/Concepts Sets of objects sharing certain characteristics Equivalent to unary predicates in FOL and Concepts in DL Relations/Properties/Roles Sets of pairs (tuples) of objects Equivalent to binary predicates in FOL and Roles in DL 14

15 Outline Introduction & Definitions Ontology Languages OWL (Ontology Web Language) 15

16 OWL (Ontology Web Language) OWL is now a W3C Recommendation. The purpose of OWL is identical to RDFS i.e. to provide an XML vocabulary to define classes, properties and their relationships. RDFS enables us to express very rudimentary relationships and has limited inferencing capability. OWL enables us to express much richer relationships, thus yielding a much enhanced inferencing capability. The benefit of OWL is that it facilitates a much greater degree of inference than you get with RDF Schema. 16

17 Origins of OWL DARPA Agent Markup Language DAML OIL Ontology Interchange Language EU/NSF Joint Ad hoc Committee DAML+OIL RDF(S) All influenced by RDF A W3C Recommendation OWL OWL Lite OWL DL OWL Full 17

18 OWL OWL and RDF Schema enable rich machine-processable semantics. OWL RDF Schema Semantics RDFS <rdfs:class rdf:id="river"> <rdfs:subclassof rdf:resource="#stream"/> </rdfs:class> XML/DTD/XML Schemas Syntax OWL <owl:class rdf:id="river"> <rdfs:subclassof rdf:resource="#stream"/> </owl:class> 18

19 OWL Design Goals Shared ontologies Ontology interoperability Inconsistency detection Expressivity vs. scalability Ease of use Compatibility with other standards Internationalization 19

20 Versions of OWL Depending on the intended usage, OWL provides three increasingly expressive sublanguages. Full Very expressive, no computation (decidability) guarantees. DL (Description Logic) Maximum expressiveness, computationally complete (decidable). OWL Full OWL DL OWL Lite Lite Simple classification hierarchy with simple constraints. 20

21 Comparison of Versions OWL Lite supports those users primarily needing a classification hierarchy and simple constraints. E.g., while it supports cardinality constraints, it only permits cardinality values of 0 or 1 OWL DL supports those users who want the maximum expressiveness while retaining decidability. OWL DL includes all OWL language constructs, but they can be used only under certain restrictions (e.g., while a class may be a subclass of many classes, a class cannot be an instance of another class). OWL DL is so named due to its correspondence with description logics. OWL Full is meant for users who want maximum expressiveness and the syntactic freedom of RDF with no computational guarantees. For example, in OWL Full a class can be treated simultaneously as a collection of individuals and as an individual in its own right. 21

22 OWL vs. RDFS OWL allows greater expressiveness (more meaning) Abstraction mechanism to group resources with similar characteristics Much more powerful in describing constraints on relations between classes Property transitivity, equivalence, symmetry, etc. Extensive support for reasoning 22

23 OWL vs. RDFS RDF Schema provides some of predefined properties: rdfs:range used to indicate the range of values for a property. rdfs:domain used to associate a property with a class. rdfs:subpropertyof used to specialize a property. OWL provides additional predefined properties: owl:cardinality (indicate cardinality) owl:hasvalue (at least one of the specified property values) OWL provides additional property classes, which allow reasoning and inferencing: owl:functionalproperty owl:transitiveproperty 23

24 OWL/XML Declaration Similar to RDF, containing owl name space. <rdf:rdf xmlns:owl= xmlns:rdf= xmlns:rdfs= xmlns:ex= > </rdf:rdf>... 24

25 OWL Ontologies What s inside an OWL ontology Classes + class-hierarchy Properties (Slots) / values Relations between classes (inheritance, disjoints, equivalents) Restrictions on properties (type, cardinality) Characteristics of properties (transitive, ) Individuals... Reasoning tasks: classification, consistency checking, 25

26 Classes What is a Class? e.g., person, pet, old a collection of individuals (object, things,... ) a way of describing part of the world an object in the world (OWL Full) 26

27 OWL Classes owl:class Subclass of Class in RDF Better to forget about classes of classes in this course Top-most class: owl:thing Bottom class: owl:nothing <owl:class rdf:id= Person"/> <owl:class rdf:id= Man"> <rdfs:subclassof rdf:resource="#person" /> </owl:class> 27

28 Describing Classes in OWL Complex Classes Union of classes (owl:unionof) OR (A B) Intersection of classes (owl:intersectionof) AND (A B) Complement (owl:complementof) NOT (ØA) Enumeration (owl:oneof) Disjoint Classes (owl:disjointwith) 28

29 Example <owl:class rdf:id= Parent /> <owl:calss rdf:id= Man > <owl:subclassof rdf:resource=#person /> <owl:disjointwith rdf:resource=#woman /> </owl:class> <owl:class rdf:id= Father > <owl:intersectionof rdf:parsetype= Collection > <owl:class rdf:about= #Parent /> <owl:class rdf:about= #Man /> </owl:intersectionof> </owl:class> <owl:class rdf:id= Nationality > <owl:oneof rdf:parsetype= Collection > <owl:thing rdf:about= #Iranian /> <owl:thing rdf:about= #Japanese />... </owl:oneof> </owl:class> 29

30 Example <owl:calss rdf:id= A > <owl:intersectionof rdf:parsetype= Collection > <owl:class> <owl:oneof rdf:parsetype= Collection > <owl:thing rdf:about= #x1 /> <owl:thing rdf:about= #x2 />... </owl:oneof> </owl:class> <owl:class> <owl:unionof rdf:parsetype= Collection > <owl:class rdf:about= #B /> <owl:class rdf:about= #C />... </owl:unionof> </owl:class> <owl:class> <owl:complementof rdf:resource= #D /> </owl:class> </owl:intersectionof> </owl:class> A {x1, x2} (BC) D 30

31 Properties What is a Property? e.g., has_father, has_pet, service_number a collection of relationships between individuals (and data) a way of describing a kind of relationship between individuals 31

32 OWL Properties Object Properties Data type Properties Ana owns Cuba Ana age 25 32

33 Describing Properties in OWL OWL Property Classes An ObjectProperty relates one Resource to another Resource. A DatatypeProperty relates one Resource to a Literal - an XML Schema data type. rdf:property owl:objectproperty owl:datatypeproperty owl:functionalproperty owl:inversefunctionalproperty owl:symmetricproperty owl:transitiveproperty 33

34 Defining Properties We have RDFS facilities as well. rdfs:subpropertyof rdfs:domain rdfs:range <owl:objectproperty rdf:id="madefrom"> <rdfs:domain rdf:resource="#book"/> <rdfs:range rdf:resource="#paper"/> </owl:objectproperty> <owl:objectproperty rdf:id= fatherof"> <rdfs:subpropertyof rdf:resource="#parentof"/> </owl:objectproperty> <owl:datatypeproperty rdf:id= hasage"> <rdfs:domain rdf:resource="#person" /> <rdfs:range rdf:resource="&xsd;positiveinteger"/> </owl:datatypeproperty> 34

35 Transitive Properties X p Y Y p Z imply X p Z Transitivity existed already in RDF rdfs:subclassof, rdfs:subpropertyof Example: locatedin <owl:transitiveproperty rdf:id= locatedin"> <rdfs:domain rdf:resource="#region"/> <rdfs:range rdf:resource="#region"/> </owl:transitiveproperty> 35

36 Symmetric Properties X p Y implies Y p X Example: colleagueof <owl:symmetricproperty rdf:id= colleagueof"> <rdfs:domain rdf:resource="#person"/> <rdfs:range rdf:resource="#person"/> </owl:symmetricproperty> 36

37 Functional Properties X p Y X p Z imply Z is the same as Y (describe the same) Example: hashusband <owl:functionalproperty rdf:id= hashusband"> <rdfs:domain rdf:resource="#woman"/> <rdfs:range rdf:resource="#man"/> </owl:functionalproperty> 37

38 Inverse Functional Properties Y p X Z p X imply Z is the same as Y (describe the same) Example: ismotherof <owl:inversefunctionalproperty rdf:id= ismotherof"> <rdfs:domain rdf:resource="#woman"/> <rdfs:range rdf:resource="#person"/> </owl:inversefunctionalproperty> 38

39 Individuals and Their Properties Two equivalent declarations: <Person rdf:id= ahmadi" /> OR <owl:thing rdf:id= ahmadi" /> <owl:thing rdf:about="#ahmadi"> <rdf:type rdf:resource="#person"/> </owl:thing> Properties of an individual < Person rdf:id= reza" /> <owl:thing rdf:about="#ahmadi"> <fatherof rdf:resource="#reza"/> <hasage rdf:datatype= &xsd;positiveinteger >42</hasAge> </owl:thing> 39

40 Individuals owl:sameas Links two references to an individual. owl:differentfrom Indicates two URI references refer to different individuals. owl:alldifferent All individuals in the list are all different from each other. <owl:alldifferent> <owl:distinctmembers rdf:parsetype= Collection > <Person rdf:about= #ali /> <Person rdf:about= #reza /> <Person rdf:about= #maryam /> </owl:distinctmembers> </owl:alldifferent> <Person rdf:id= ali"> <owl:differentfrom rdf:resource="#reza"/> <owl:sameas rdf:resource="#morteza"/> </Person> 40

41 OWL Distributed owl:equivalentclass for describing equivalent classes. owl:equivalentproperty for describing equivalent properties. Guitar Guitarra Internationalization standards? 41

42 Example <owl:class rdf:id="daponteoperaofmozart"> <owl:equivalentclass> <owl:class> <owl:oneof rdf:parsetype="collection"> <Opera rdf:about="#nozze_di_figaro"/> <Opera rdf:about="#don_giovanni"/> <Opera rdf:about="#cosi_fan_tutte"/> </owl:oneof> </owl:class> </owl:equivalentclass> </owl:class> 42

43 OWL Property Restriction Property restriction is a kind of class description. Property Restrictions Defining a Class by restricting its possible instances via their property values. OWL distinguishes between the following two: Value constraints Cardinality constraints 43

44 OWL Value Constraints Puts constraints on the range of the property when applied to this particular class description. Properties: allvaluesfrom: rdfs:class (lite/dl owl:class) hasvalue: specific Individual somevaluesfrom: rdfs:class (lite/dl owl:class) <owl:restriction> <owl:onproperty rdf:resource= #hasparent /> <owl:somevaluesfrom rdf:resource= #Physician > </owl:restriction> <owl:class rdf:id= AliChildren > <rdfs:equivalentclass> <owl:restriction> <owl:onproperty rdf:resource= #hasparent /> <owl:hasvalue rdf:resource= #ali > </owl:restriction> </rdfs:equivalentclass> <owl:class> Class Description 44

45 OWL Cardinality Constraints Any instance of a class may have an arbitrary number (zero or more) of values for a particular property. To restrict the cardinality of properties locally with in a class context, the following constructs can be used. owl:mincardinality type: xsd:nonnegativeinteger (in lite {0,1}) owl:maxcardinality type: xsd:nonnegativeinteger (in lite {0,1}) owl:cardinality type: xsd:nonnegativeinteger (in lite {0,1}) Example: Fathers have at least two children. <owl:class rdf:id= Father > <owl:restriction owl:mincardinality= 2"> <owl:onproperty rdf:resource="#haschild" /> </owl:restriction> </owl:class> 45

46 An Example of OWL Ontology <owl:class rdf:id= Person /> <owl:class rdf:id= Man > <rdfs:subclassof rdf:resource= #Person /> <owl:disjointwith rdf:resource= #Woman /> </owl:class> <owl:class rdf:id= Woman > <rdfs:subclassof rdf:resource= #Person /> <owl:disjointwith rdf:resource= #Man /> </owl:class> <owl:class rdf:id= Father > <rdfs:subclassof rdf:resource= Man /> <owl:restriction owl:mincardinality="1"> <owl:onproperty rdf:resource="#haschild" /> </owl:restriction> </owl:class> <owl:objectproperty rdf:id= haschild"> <rdfs:domain rdf:resource="#person" /> <rdfs:range rdf:resource="#person" /> </owl:objectproperty> 46

47 Introduction to OWL2: Version 2 of OWL OWL2 has a very similar overall structure to OWL1. Backwards compatibility with OWL1 is, to all intents and purposes, complete: all OWL1 Ontologies remain valid OWL2 Ontologies, with identical inferences in all practical cases. OWL2 adds new functionality with respect to OWL1. Some of the new features are syntactic sugar (e.g., disjoint union of classes) Others offer new expressivity, including: Keys: a collection of properties can be assigned as a key to a class. Property chains: to define properties as a composition of other properties. Richer datatypes and data ranges: capability of custom datatype definition. Qualified cardinality restrictions: supporting n R.C and n R.C and =n R.C Asymmetric, reflexive, and disjoint properties 47

48 OWL2 Profiles (1) OWL2 also defines three new profiles. Profiles considered Useful computational properties, e.g., reasoning complexity Implementation possibilities, e.g., using RDBs 48

49 OWL 2 three different tractable profiles: OWL2 EL: polynomial time reasoning for schema (ontology consistency and subsumption) Useful for ontologies with large conceptual part OWL2 QL: fast (logspace) query answering using RDBMs via SQL Useful for large datasets already stored in RDBs OWL2 RL: fast (polynomial) query answering using rule extended DBs Useful for large datasets stored as RDF triples 49

50 OWL2 Profiles (2) OWL2 EL is particularly useful in applications employing ontologies that contain very large numbers of properties and/or classes. Using this profile the basic reasoning problems (ontology consistency and class expression subsumption) can be performed in time that is polynomial with respect to the size of the ontology. The EL acronym reflects the profile's basis in the EL family of description logics [EL++], logics that provide only Existential quantification. OWL2 QL is aimed at applications that use very large volumes of instance data, and where query answering is the most important reasoning task. Using a suitable reasoning technique, sound and complete conjunctive query answering can be performed in LOGSPACE with respect to the size of the data (assertions). The QL acronym reflects the fact that query answering in this profile can be implemented by rewriting queries into a standard relational Query Language. OWL2 RL is aimed at applications that require scalable reasoning without sacrificing too much expressive power. OWL2 RL reasoning systems can be implemented using rule-based reasoning engines. The ontology consistency, class expression satisfiability, class expression subsumption, instance checking, and conjunctive query answering problems can be solved in time that is polynomial with respect to the size of the ontology. The RL acronym reflects the fact that reasoning in this profile can be implemented using a standard Rule Language. 50

51 References SW201213/9OWL2.pdf Chapter 6 of the book 51

52 Any Question... 52

Web Ontology Language: OWL

Web 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 information

Short notes about OWL 1

Short 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 information

Semantic Technologies

Semantic 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 information

KDI OWL. Fausto Giunchiglia and Mattia Fumagallli. University of Trento

KDI 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 information

Table of Contents. iii

Table 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 information

Chapter 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 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 information

FOUNDATIONS OF SEMANTIC WEB TECHNOLOGIES

FOUNDATIONS 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 information

Reasoning with the Web Ontology Language (OWL)

Reasoning 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 information

DEVELOPING AN OWL ONTOLOGY FOR E- TOURISM

DEVELOPING 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 information

Semantic 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 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 information

Main topics: Presenter: Introduction to OWL Protégé, an ontology editor OWL 2 Semantic reasoner Summary TDT OWL

Main 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 information

Semantic Web Technologies: Web Ontology Language

Semantic 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 information

Web Ontology Language: OWL

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 information

CC LA WEB DE DATOS PRIMAVERA Lecture 4: Web Ontology Language (I) Aidan Hogan

CC LA WEB DE DATOS PRIMAVERA Lecture 4: Web Ontology Language (I) Aidan Hogan CC6202-1 LA WEB DE DATOS PRIMAVERA 2015 Lecture 4: Web Ontology Language (I) Aidan Hogan aidhog@gmail.com PREVIOUSLY ON LA WEB DE DATOS (1) Data, (2) Rules/Ontologies, (3) Query, RDF: Resource Description

More information

Description Logic. Eva Mráková,

Description 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 information

The Semantic Web RDF, RDF Schema, and OWL (Part 2)

The Semantic Web RDF, RDF Schema, and OWL (Part 2) The Semantic Web RDF, RDF Schema, and OWL (Part 2) Mitchell W. Smith Array BioPharma, Inc. msmith@arraybiopharma.com Page Agenda Part One: RDF RDF/XML Syntax RDF Schema SPARQL Part Two: OWL Ontologies

More information

Web Ontology Language: OWL

Web 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 information

Web Ontology Language: OWL by Grigoris Antoniou Frank van Harmelen

Web 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 information

Forward Chaining Reasoning Tool for Rya

Forward Chaining Reasoning Tool for Rya Forward Chaining Reasoning Tool for Rya Rya Working Group, 6/29/2016 Forward Chaining Reasoning Tool for Rya 6/29/2016 1 / 11 OWL Reasoning OWL (the Web Ontology Language) facilitates rich ontology definition

More information

Chapter 4 Web Ontology Language: OWL

Chapter 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 information

OWL a glimpse. OWL a glimpse (2) requirements for ontology languages. requirements for ontology languages

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 information

Ontologies and OWL. Riccardo Rosati. Knowledge Representation and Semantic Technologies

Ontologies 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 information

Knowledge management. OWL Web Ontology Language

Knowledge management. OWL Web Ontology Language Knowledge management. OWL Web Ontology Language 1 RDF/RDFS RDF: triples for making assertions about resources RDFS extends RDF with schema vocabulary, e.g.: Class, Property type, subclassof, subpropertyof

More information

Why Ontologies? RRDIU - Semantic Web 2

Why Ontologies? RRDIU - Semantic Web 2 Ontologies OWL2 Why Ontologies? 2019-01-21 01RRDIU - Semantic Web 2 Semantics Knowledge Organizazion Systems Term Lists Authority files Glossaries Dictionaries, Vocabularies Gazetteers Classifications

More information

OWL Web Ontology Language

OWL Web Ontology Language Mustafa Jarrar Lecture Notes, Knowledge Engineering (SCOM7348) University of Birzeit 1 st Semester, 2011 Knowledge Engineering (SCOM7348) OWL Web Ontology Language Dr. Mustafa Jarrar University of Birzeit

More information

Knowledge management. OWL Web Ontology Language

Knowledge management. OWL Web Ontology Language RDF/RDFS Knowledge management. OWL Web Ontology Language RDF: triples for making assertions about resources RDFS extends RDF with schema vocabulary, e.g.: Class, Property type, subclassof, subpropertyof

More information

Semantic Web Test

Semantic 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 information

Contents. G52IWS: The Semantic Web. The Semantic Web. Semantic web elements. Semantic Web technologies. Semantic Web Services

Contents. 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 information

Deep integration of Python with Semantic Web technologies

Deep 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 information

08 OWL SEMANTIC WEB ONTOLOGY WEB LANGUAGE IMRAN IHSAN ASSISTANT PROFESSOR, AIR UNIVERSITY, ISLAMABAD

08 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 information

Lecture 8 OWL: Web Ontology Language

Lecture 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 information

Chapter 4 OWL. Outline. A Brief History of OWL: SHOE. The OWL Family Tree

Chapter 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 information

Introduction to OWL. Marco Ronchetti Università di Trento Italy

Introduction 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 information

H1 Spring B. Programmers need to learn the SOAP schema so as to offer and use Web services.

H1 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 information

OWL-based reasoning with retractable inference

OWL-based reasoning with retractable inference OWL-based reasoning with retractable inference Carlo Jelmini and Stéphane Marchand-Maillet Viper Group CVML University of Geneva 1211 Geneva 4 Switzerland {jelmini, marchand}@cui.unige.ch Abstract As a

More information

OWL 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. 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 information

TMCL and OWL. Lars Marius Garshol. Bouvet, Oslo, Norway

TMCL and OWL. Lars Marius Garshol. Bouvet, Oslo, Norway TMCL and OWL Lars Marius Garshol Bouvet, Oslo, Norway larsga@bouvet.no Abstract. This paper compares the Topic Maps schema language TMCL with the corresponding RDF technologies RDFS/OWL, and describes

More information

The Semantic Web. Mansooreh Jalalyazdi

The 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 information

Bryan Smith May 2010

Bryan 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 information

Intelligent Agents. Pınar Yolum Utrecht University. Spring 2018 Pınar Yolum

Intelligent Agents. Pınar Yolum Utrecht University. Spring 2018 Pınar Yolum Intelligent Agents Pınar Yolum p.yolum@uu.nl Utrecht University Spring 2018 Pınar Yolum Web Ontology Language Spring 2018 Pınar Yolum Based largely on Dean Allemang; James Hendler, Semantic Web for the

More information

LINKING BACKGROUND INFORMATION

LINKING BACKGROUND INFORMATION LINKING BACKGROUND INFORMATION INTERLINK D4 Appendix 4, Michel Böhms (TNO) With input from EU V-CON and bsi LDWG OVERVIEW Basic Linking More Background Info on L1/L2/L3 semantic levels Advanced Linking

More information

The ISO D approach

The 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 information

Teil IV: Wissensrepräsentation im WWW. Kap.11: Semantic Web

Teil IV: Wissensrepräsentation im WWW. Kap.11: Semantic Web Vorlesung Künstliche Intelligenz Wintersemester 2007/08 Teil IV: Wissensrepräsentation im WWW Kap.11: Semantic Web Dieses Kapitel basiert weitgehend auf Material von Pascal Hitzler. Weitere Infos gibt

More information

Querying Data through Ontologies

Querying 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 information

Semantic Web Technologies Web Ontology Language (OWL) Part II. Heiko Paulheim

Semantic Web Technologies Web Ontology Language (OWL) Part II. Heiko Paulheim Semantic Web Technologies Web Ontology Language (OWL) Part II Previously on Semantic Web Technologies We have got to know OWL, a more powerful ontology language than RDFS Simple ontologies and some reasoning

More information

Ontologies, OWL, OWL profiles

Ontologies, 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 information

Chapter 4 OWL. Outline. The OWL Family Tree. A Brief History of OWL: SHOE

Chapter 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 information

JOURNAL OF OBJECT TECHNOLOGY

JOURNAL OF OBJECT TECHNOLOGY JOURNAL OF OBJECT TECHNOLOGY Online at http://www.jot.fm. Published by ETH Zurich, Chair of Software Engineering JOT, 2005 Vol. 4, No. 1, January-February 2005 Ontology Modeling and MDA Dragan Djurić,

More information

Teil IV: Wissensrepräsentation im WWW. Kap.11: Semantic Web. The semantic web layer cake

Teil IV: Wissensrepräsentation im WWW. Kap.11: Semantic Web. The semantic web layer cake The semantic web layer cake Vorlesung Künstliche Intelligenz Wintersemester 2007/08 Teil IV: Wissensrepräsentation im WWW Kap.11: Semantic Web Dieses Kapitel basiert weitgehend auf Material von Pascal

More information

Semantic Web Ontologies

Semantic 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 information

Genea: Schema-Aware Mapping of Ontologies into Relational Databases

Genea: 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 information

Jorge Cardoso University of Coimbra, Portugal & KSRI/Karlsruhe Institute of Technology, Germany

Jorge Cardoso University of Coimbra, Portugal & KSRI/Karlsruhe Institute of Technology, Germany Jorge Cardoso University of Coimbra, Portugal & KSRI/Karlsruhe Institute of Technology, Germany Alexandre Miguel Pinto University of Coimbra, Portugal Initially, the WWW was primarily composed of documents

More information

Semantic Web KM: A Knowledge Machine for Semantic Webs

Semantic Web KM: A Knowledge Machine for Semantic Webs SIG-SWO-044-07 KM Semantic Web KM: A Knowledge Machine for Semantic Webs 1,2 1,3 Seiji Koide 1,2 Hideaki Takeda 1,3 1 1 National Institute of Informatics 2 2 Ontolonomy, LLC 3 3 SOKENDAI Univ. (The Graduate

More information

12th 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) 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 information

Semantic 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 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 information

OWL 2 Profiles. An Introduction to Lightweight Ontology Languages. Markus Krötzsch University of Oxford. Reasoning Web 2012

OWL 2 Profiles. An Introduction to Lightweight Ontology Languages. Markus Krötzsch University of Oxford. Reasoning Web 2012 University of Oxford Department of Computer Science OWL 2 Profiles An Introduction to Lightweight Ontology Languages Markus Krötzsch University of Oxford Reasoning Web 2012 Remark for the Online Version

More information

BeliefOWL An Evidential Extension to OWL

BeliefOWL An Evidential Extension to OWL Université de Tunis Institut Supérieur de Gestion de Tunis Laboratoire de recherche LARODEC Mémoire présenté en vue de l obtention du Diplôme de Mastère en Informatique Appliquée à la Gestion BeliefOWL

More information

Defining Several Ontologies to Enhance the Expressive Power of Queries

Defining Several Ontologies to Enhance the Expressive Power of Queries Defining everal Ontologies to Enhance the Expressive Power of Queries Bich-Liên Doan and Yolaine Bourda Computer cience Dpt. UPELEC, 3 rue Joliot Curie, 91192 Gif-sur-Yvette, France Bich-Lien.Doan@supelec.fr,

More information

Describing Ontology Relationships

Describing Ontology Relationships Describing Ontology Relationships A brief guide to the expressive powers of ISO Common Logic Pat Hayes, Florida IHMC phayes@ihmc.us 1 ISO Common Logic The recently published ISO Common Logic standard provides

More information

Chapter 3 Research Method

Chapter 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 information

RDF Schema. Mario Arrigoni Neri

RDF 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 information

ARISTOTLE UNIVERSITY OF THESSALONIKI. Department of Computer Science. Technical Report

ARISTOTLE UNIVERSITY OF THESSALONIKI. Department of Computer Science. Technical Report ARISTOTLE UNIVERSITY OF THESSALONIKI Department of Computer Science Technical Report Populating Object-Oriented Rule Engines with the Extensional Knowledge of OWL DL Reasoners Georgios Meditskos and Nick

More information

OWL 2 Update. Christine Golbreich

OWL 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 information

OWL 2 Web Ontology Language Primer W3C Recommendation 27 October 2009

OWL 2 Web Ontology Language Primer W3C Recommendation 27 October 2009 OWL 2 Web Ontology Language Primer W3C Recommendation 27 October 2009 This version: Latest version (series 2: http://www.w3.org/tr/owl2-primer/ Latest Recommendation: http://www.w3.org/tr/owl-primer Previous

More information

Ontological Modeling: Part 7

Ontological 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 information

Metamodels for RDF Schema and OWL

Metamodels for RDF Schema and OWL Metamodels for RDF Schema and OWL Daniel T. Chang Elisa Kendall IBM Silicon Valley Lab Sandpiper Software, Inc. 555 Bailey Ave., San Jose, CA 95141 2053 Grant Road, #162, Los Altos, CA 94024 dtchang@us.ibm.com

More information

Introduction to Protégé. Federico Chesani, 18 Febbraio 2010

Introduction 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 information

Knowledge Representation for the Semantic Web Lecture 4: Description Logics III

Knowledge Representation for the Semantic Web Lecture 4: Description Logics III Knowledge Representation for the Semantic Web Lecture 4: Description Logics III Daria Stepanova slides based on Reasoning Web 2011 tutorial Foundations of by S. Rudolph Max Planck Institute for Informatics

More information

An Introduction to the Semantic Web. Jeff Heflin Lehigh University

An 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 information

OWL 2 Web Ontology Language Primer

OWL 2 Web Ontology Language Primer OWL 2 Web Ontology Language Primer W3C Working Draft 21 April 2009 This version: Latest version: http://www.w3.org/tr/owl2-primer/ Previous version: http://www.w3.org/tr/2008/wd-owl2-primer-20080411/ Authors:

More information

INF3580/4580 Semantic Technologies Spring 2017

INF3580/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 information

Web Data and Declarative Programming

Web Data and Declarative Programming and Declarative Programming Universidad de Almería. jalmen@ual.es March 2, 2010 Table of contents 1 2 XML RDF OWL 3 Querying and Reasoning with SPARQL 4 with 5 Querying and Reasoning with Research Lines

More information

INF3580 Semantic Technologies Spring 2012

INF3580 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 information

OWL Full and UML 2.0 Compared

OWL Full and UML 2.0 Compared OWL Full and UML 2.0 Compared This document is intended to establish the relationship between the relevant features of UML 2.0 and OWL as part of the development of the Ontology Definition Metamodel (ODM).

More information

Efficient Querying of Web Services Using Ontologies

Efficient 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 information

OWL 2 Profiles. An Introduction to Lightweight Ontology Languages. Маркус Крёч (Markus Krötzsch) University of Oxford. KESW Summer School 2012

OWL 2 Profiles. An Introduction to Lightweight Ontology Languages. Маркус Крёч (Markus Krötzsch) University of Oxford. KESW Summer School 2012 University of Oxford Department of Computer Science OWL 2 Profiles An Introduction to Lightweight Ontology Languages Маркус Крёч (Markus Krötzsch) University of Oxford KESW Summer School 2012 Remark for

More information

Adding formal semantics to the Web

Adding 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 information

Semantic 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 بسمه تعالی 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 information

XML and Semantic Web Technologies. III. Semantic Web / 2. Web Ontology Language (OWL)

XML and Semantic Web Technologies. III. Semantic Web / 2. Web Ontology Language (OWL) XML and Semantic Web Technologies XML and Semantic Web Technologies. Semantic Web / 2. Web Ontology Language (OWL) Lars Schmidt-Thieme nformation Systems and Machine Learning Lab (SMLL) nstitute of Economics

More information

Introduction to Ontologies

Introduction to Ontologies Introduction to Ontologies Jon Atle Gulla Ontology (from the Greek nominative ὤν: being, genitive ὄντος: of being (participle of εἶναι: to be) and -λογία: science, study, theory) is a study of conceptions

More information

Semantic Web. MPRI : Web Data Management. Antoine Amarilli Friday, January 11th 1/29

Semantic Web. MPRI : Web Data Management. Antoine Amarilli Friday, January 11th 1/29 Semantic Web MPRI 2.26.2: Web Data Management Antoine Amarilli Friday, January 11th 1/29 Motivation Information on the Web is not structured 2/29 Motivation Information on the Web is not structured This

More information

Semantic Web. Ontology Engineering and Evaluation. Morteza Amini. Sharif University of Technology Fall 95-96

Semantic Web. Ontology Engineering and Evaluation. Morteza Amini. Sharif University of Technology Fall 95-96 ه عا ی Semantic Web Ontology Engineering and Evaluation Morteza Amini Sharif University of Technology Fall 95-96 Outline Ontology Engineering Class and Class Hierarchy Ontology Evaluation 2 Outline Ontology

More information

OWL 2 The Next Generation. Ian Horrocks Information Systems Group Oxford University Computing Laboratory

OWL 2 The Next Generation. Ian Horrocks Information Systems Group Oxford University Computing Laboratory OWL 2 The Next Generation Ian Horrocks Information Systems Group Oxford University Computing Laboratory What is an Ontology? What is an Ontology? A model of (some aspect

More information

Mandatory exercises. INF3580/4580 Semantic Technologies Spring 2017 Lecture 12: OWL: Loose Ends. Outline. Make it simple!

Mandatory exercises. INF3580/4580 Semantic Technologies Spring 2017 Lecture 12: OWL: Loose Ends. Outline. Make it simple! Mandatory exercises INF3580/4580 Semantic Technologies Spring 2017 Lecture 12: OWL: Loose Ends Ernesto Jiménez-Ruiz 3rd April 2017 Oblig 6 published after lecture. First attempt by April 25th. Second attempt

More information

A Framework for OWL DL based Ontology Construction from Relational Database using Mapping and Semantic Rules

A Framework for OWL DL based Ontology Construction from Relational Database using Mapping and Semantic Rules A Framework for OWL DL based Construction from Relational Database using Mapping and Semantic Rules C.Ramathilagam Assistant Professor Adithya Institute of Technology Coimbatore, TamilNadu, India M.L.Valarmathi,

More information

A Heuristic Approach to Explain the Inconsistency in OWL Ontologies Hai Wang, Matthew Horridge, Alan Rector, Nick Drummond, Julian Seidenberg

A Heuristic Approach to Explain the Inconsistency in OWL Ontologies Hai Wang, Matthew Horridge, Alan Rector, Nick Drummond, Julian Seidenberg A Heuristic Approach to Explain the Inconsistency in OWL Ontologies Hai Wang, Matthew Horridge, Alan Rector, Nick Drummond, Julian Seidenberg 1 Introduction OWL IS COMING!! Debugging OWL is very difficult

More information

Semantic Web In Depth: Resource Description Framework. Dr Nicholas Gibbins 32/4037

Semantic Web In Depth: Resource Description Framework. Dr Nicholas Gibbins 32/4037 Semantic Web In Depth: Resource Description Framework Dr Nicholas Gibbins 32/4037 nmg@ecs.soton.ac.uk RDF syntax(es) RDF/XML is the standard syntax Supported by almost all tools RDF/N3 (Notation3) is also

More information

Semantic Web. Ontology Engineering and Evaluation. Morteza Amini. Sharif University of Technology Fall 93-94

Semantic Web. Ontology Engineering and Evaluation. Morteza Amini. Sharif University of Technology Fall 93-94 ه عا ی Semantic Web Ontology Engineering and Evaluation Morteza Amini Sharif University of Technology Fall 93-94 Outline Ontology Engineering Class and Class Hierarchy Ontology Evaluation 2 Outline Ontology

More information

Making BioPAX SPARQL

Making BioPAX SPARQL Making BioPAX SPARQL hands on... start a terminal create a directory jena_workspace, move into that directory download jena.jar (http://tinyurl.com/3vlp7rw) download biopax data (http://www.biopax.org/junk/homosapiens.nt

More information

The Semantic Web. INF5100 Autumn 2007 Norun C. Sanderson

The Semantic Web. INF5100 Autumn 2007 Norun C. Sanderson The Semantic Web INF5100 Autumn 2007 Norun C. Sanderson Outline TheSemanticWeb visionand purpose Technology building blocks Application areas Future INF5100 Autumn 2007 2 What is the Semantic Web? The

More information

Ontological Modeling: Part 8

Ontological Modeling: Part 8 Ontological Modeling: Part 8 Terry Halpin LogicBlox and INTI International University This is the eighth in a series of articles on ontology-based approaches to modeling. The main focus is on popular ontology

More information

Ontological Modeling: Part 2

Ontological 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 information

Linked data basic notions!

Linked data basic notions! Linked data basic notions see http://linkeddatabook.com/editions/1.0/ RDF RDF stands for Resource Description Framework It is a W3C Recommendation ü http://www.w3.org/rdf RDF is a graphical formalism (

More information

ROWLBAC Representing Role Based Access Control in OWL

ROWLBAC Representing Role Based Access Control in OWL T. Finin A. Joshi J. Niu R. Sandhu W. Winsborough B. Thuraisingham a presentation by Jeremy Clark ROWLBAC Representing Role Based Access Control in OWL Introduction This paper examines the relationship

More information

A FRAMEWORK FOR DIRECT AND SEMANTICS BASED TRANSFORMATION FROM RELATIONAL DATABASE TO ONTOLOGY

A FRAMEWORK FOR DIRECT AND SEMANTICS BASED TRANSFORMATION FROM RELATIONAL DATABASE TO ONTOLOGY A FRAMEWORK FOR DIRECT AND SEMANTICS BASED TRANSFORMATION FROM RELATIONAL DATABASE TO ONTOLOGY 1 C.RAMATHILAGAM, 2 Dr.M.L.VALARMATHI 1 Asstt Prof, Department of Computer Science & Engineering, Adithya

More information

Developing markup metaschemas to support interoperation among resources with different markup schemas

Developing markup metaschemas to support interoperation among resources with different markup schemas Developing markup metaschemas to support interoperation among resources with different markup schemas Gary Simons SIL International ACH/ALLC Joint Conference 29 May to 2 June 2003, Athens, GA The Context

More information

For return on 19 January 2018 (late submission: 2 February 2018)

For 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 information

l A family of logic based KR formalisms l Distinguished by: l Decidable fragments of FOL l Closely related to Propositional Modal & Dynamic Logics

l 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 information

Easing the Definition of N Ary Relations for Supporting Spatio Temporal Models in OWL

Easing the Definition of N Ary Relations for Supporting Spatio Temporal Models in OWL Easing the Definition of N Ary Relations for Supporting Spatio Temporal Models in OWL Alberto G. Salguero, Cecilia Delgado, and Francisco Araque Dpt. of Computer Languages and Systems University of Granada,

More information

Ontological Modeling: Part 11

Ontological 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 information