Dr. Jim Bowring Computer Science Department College of Charleston CSIS 690 (633) May Evening 2009 Semantic Web Principles and Practice Class 12: 22 June.

Slides:

Advertisements

Similar presentations

1.5 Set Operations. Chapter 1, section 5 Set Operations union intersection (relative) complement {difference}

Advertisements

Of 27 lecture 7: owl - introduction. of 27 ece 627, winter ‘132 OWL a glimpse OWL – Web Ontology Language describes classes, properties and relations.

OWL TUTORIAL APT CSA 3003 OWL ANNOTATOR Charlie Abela CSAI Department.

Chapter 8: Web Ontology Language (OWL) Service-Oriented Computing: Semantics, Processes, Agents – Munindar P. Singh and Michael N. Huhns, Wiley, 2005.

1 OWL Instance Data Evaluation Li Ding, Jiao Tao, and Deborah L. McGuinness Tetherless World Constellation Computer Science Department.

CSE 428 Semantic Web Topics OWL Jeff Heflin Lehigh University.

Dr. Jim Bowring Computer Science Department College of Charleston CSIS 690 (633) May Evening 2009 Semantic Web Principles and Practice Class 7: 3 June.

Dr. Jim Bowring Computer Science Department College of Charleston CSIS 690 (633) May Evening 2009 Semantic Web Principles and Practice Class 5: 27 May.

Chapter 4 Web Ontology Language: OWL

Dr. Jim Bowring Computer Science Department College of Charleston CSIS 690 (633) May Evening 2009 Semantic Web Principles and Practice Class 2: 13 May.

Dr. Jim Bowring Computer Science Department College of Charleston CSIS 690 (633) May Evening 2009 Semantic Web Principles and Practice Class 1: 11 May.

Dr. Jim Bowring Computer Science Department College of Charleston CSIS 690 (633) May Evening 2009 Semantic Web Principles and Practice Class 8: 8 June.

Dr. Jim Bowring Computer Science Department College of Charleston CSIS 690 (633) May Evening 2009 Semantic Web Principles and Practice Class 4: 20 May.

Dr. Jim Bowring Computer Science Department College of Charleston CSIS 690 (633) May Evening 2009 Semantic Web Principles and Practice Class 3: 18 May.

Chapter 4A Semantic Web Primer 1 Chapter 4 Web Ontology Language: OWL Grigoris Antoniou Frank van Harmelen.

SWCLOS Semantic Web Processing in CLOS Seiji Koide National Institute of Informatics IHI Corporation.

인공지능 특강 프로젝트 - Development of Decision Tree Algorithm for Semantic Web data 전동규.

13 Dec. 2006CmpE 583 Fall 2006 OWL Lite- Property Char’s. 1 OWL Lite: Ch. 13- Property Characteristics Atilla ELÇİ.

Chapter 6 Understanding Each Other CSE 431 – Intelligent Agents.

Chapter 4 Web Ontology Language: OWL Grigoris Antoniou Frank van Harmelen Augmented by Boontawee Suntisrivaraporn,

OWL: Web Ontology Language

1 CSIT600f: Introduction to Semantic Web OWL Dickson K.W. Chiu PhD, SMIEEE Text: Antoniou & van Harmelen: A Semantic Web PrimerA Semantic Web Primer (Chapter.

Logics for Data and Knowledge Representation

OWL – Part II. owl:equivalentProperty  Already we have learned about asserting that two properties behave in the same way  To make two properties equivalent,

Basic OWL Restrictions An owl:Restriction is an owl:Class defined by describing conditions on the individuals it contains This is the basis for extension.

Counting and Sets in OWL OWL augments restrictions with a full set-theoretic language, including intersections, unions, complements Using these, we combine.

SQL Databases are a Moving Target Juan F. Sequeda – Syed Hamid Tirmizi –

1 Object-Orientation in Ontology Date: April 30, 2007 Byunggul Koh Taeksu Kim.

OWL 2 in use. OWL 2 OWL 2 is a knowledge representation language, designed to formulate, exchange and reason with knowledge about a domain of interest.

1 Roger L. Costello, David B. Jacobs. © 2003 The MITRE Corporation. OWL Web Ontology Language Roger L. Costello David B. Jacobs The MITRE Corporation (The.

Ontology & OWL Semantic Web - Fall 2005 Computer Engineering Department Sharif University of Technology.

CC L A W EB DE D ATOS P RIMAVERA 2015 Lecture 5: Web Ontology Language (II) Aidan Hogan

RDF, OWL, SPARQL and the Semantic Wed ACCU 2009 Seb Rose.

Chapter 4 OWL Based on slides from Grigoris Antoniou and Frank van Harmelen.

Mapping Guide Mapping Ontologies and Data Sets in RDF/RDFS/OWL2 Michel Böhms.

Logic …. Disjoint Properties As for disjoint classes, two properties can be disjoint (owl : propertyDisjointWith) Property p and p’ are disjoint if no.

19 Dec revd CmpE 583 Fall 2006 OWL Lite- Classes & Individuals. 1 OWL Lite: Ch. 14- Deriving Classes Ch. 15- Individuals Atilla ELÇİ.

Dr. Alexandra I. Cristea OWL.

Semantic Web for the Working Ontologist Dean Allemang Jim Hendler SNU IDB laboratory.

OWL Full Semantics -- RDF-Compatible Model-Theoretic Semantics by Peter F. Patel-Schneider, Patrick Hayes and Ian Horrocks W3C Recommendation, 2004

The Knowledge Presentation Language. Web Ontology Language (OWL)  Web Ontology Language (OWL) extends RDF and RDFS languages by adding several other.

Practical RDF Chapter 12. Ontologies: RDF Business Models Shelley Powers, O’Reilly SNU IDB Lab. Taikyoung Kim.

ONTOLOGY ENGINEERING Lab #2 – September 8,

Semantic Web for the Working Ontologist Dean Allemang Jim Hendler SNU IDB laboratory.

CC L A W EB DE D ATOS P RIMAVERA 2015 Lecture 4: Web Ontology Language (I) Aidan Hogan

Semantic Web for the Working Ontologist Dean Allemang Jim Hendler SNU IDB laboratory.

OWL Representing Information Using the Web Ontology Language.

1 T. Hill Review of: ROWLBAC – Representing Role Based Access Control in OWL T. Finin, A. Joshi L. Kagal, B. Thuraisingham, J. Niu, R. Sandhu, W. Winsborough.

Chapter 4 Web Ontology Language: OWL Grigoris Antoniou Frank van Harmelen Augmented by Boontawee Suntisrivaraporn,

CSE 428 Semantic Web Topics OWL Jeff Heflin Lehigh University.

Of 32 lecture 8: owl – language I. of 32 ece 627, winter ‘132 OWL XML/RDF syntax: header

Chapter Describing Individuals OWL Individuals ▫Ontological Primitive Layer  Mostly described with RDF ▫Instances of user-defined ontological.

Vincenzo Maltese, Fausto Giunchiglia University of Trento

Web Ontology Language (OWL)

Web Ontology Language (OWL)

An Overview of Ontology and Its Applications

Chapter 6 Understanding Each Other

Web Ontology Language: OWL

ece 720 intelligent web: ontology and beyond

Web Ontology Language: OWL

CSE 428 Semantic Web Topics OWL

Aidan Hogan CC La Web de Datos Primavera 2017 Lecture 4: Web Ontology Language (OWL) [I] Aidan Hogan

Linking Guide Michel Böhms.

Service-Oriented Computing: Semantics, Processes, Agents

Chapter 4 Web Ontology Language: OWL

Chapter 4 Web Ontology Language: OWL

Based on slides from Grigoris Antoniou and Frank van Harmelen

Knowledge Representation Part VII Protégé / RDFS / OWL / ++

ece 720 intelligent web: ontology and beyond

Based on slides from Grigoris Antoniou and Frank van Harmelen

Presentation transcript:

Dr. Jim Bowring Computer Science Department College of Charleston CSIS 690 (633) May Evening 2009 Semantic Web Principles and Practice Class 12: 22 June 2009

Class 12: Roadmap Announcements and Assignments Questions SWWO Chapter 10 Begin Student Project Presentations

Counting and Sets in OWL Cardinalities the count of distinct values for a property cardinality inferencing

Unions and Intersections U1 a owl:Class; owl:unionOf ( ns:A ns:B … ). I1 a owl:Class; owl:intersectionOf ( ns:A ns:B … ). - can use as anonymous classes: “[ ]” - See Example High-Priority Candidate Questions

Closing the World How can we guarantee set membership in the presence of the open world assumption? Enumeration with owl:one of ss:SolarPlanet a owl:Class; owl:one of ( ss:Mercury ss:Venus ss:Earth ). Infer: ss:Mercury a ss:SolarPlanet etc.

Differentiation owl:differentFrom [ a owl:AllDifferent; owl:distinctMembers ( ss:Mercury ss:Venus ss:Earth ) ].

Cardinality [ a owl:Restriction; owl:onProperty :hasPlayer; owl:cardinality 9 ] Or: owl:minCardinality owl:maxCardinality See Challenge 29 and Challenge 30

Small Cardinality Limits minCardinality 1 : at least 1 maxCardinality 1 : unique but not required to exist minCardinality 0 : optional maxCardinality 0 : not allowed

Set Complement bb:MinorLeaguePlayer owl:complementOf bb:MajorLeaguePlayer. Meaning ? bb:MinorLeaguePlayer owl:intersectionOf ( [ a owl:Class ; owl:complementOf bb:MajorLeaguePlayer] bb:Player ). See Challenge 31

Disjoint Sets owl:disjointWith can then infer that individuals owl:differntFrom See Challenge 32

Prerequisites Again From chapter 9: q:hasPrerequisites a owl:ObjectPropoerty. [ a owl:Restriction ; owl:onProperty hasPrerrequisite; owl:allValuesFrom q:SelectedAnswer ] rdfs:subClassOf q:EnabledQuestion.

No Prerequisites c:WhatProblem a [ a owl:Restriction ; owl:onProperty q:hasPrerequisite ; owl:cardinality 0 ]. infer that there are no triples of the form c:WhatProblem q:hasPrerequisite ?. infer c:WhhatProblem a q:EnabledQuestion. See “Childless parents have all boy children…”

Counting Prerequisites TvSymptom a [ owl:Restriction ; owl:onProperty hasPrerequsite ; owl:cardinality 1 ]. Note: owl:someValuesFrom guarantees existence but owl:allValuesFrom does not

Contradictions & Unsatisfiable Classes See challenge 33 See pg 240 for further discussion of SW vs OO the end !