Brief History of Knowledge Representation, Description Logics and OWL OpenGALEN BioHealth Informatics Group © University of Manchester.

Slides:

Advertisements

Similar presentations

A Semantic Web Approach to Digital Rights Management Roberto García González.

Advertisements

Mitsunori Ogihara Center for Computational Science

The Semantic Web: Ontologies and OWL Ian Horrocks and Alan Rector Summary.

KR-2002 Panel/Debate Are Upper-Level Ontologies worth the effort? Chris Welty, IBM Research.

Three Theses of Representation in the Semantic Web

SPARQL Dimitar Kazakov, with references to material by Noureddin Sadawi ARIN, 2014.

CH-4 Ontologies, Querying and Data Integration. Introduction to RDF(S) RDF stands for Resource Description Framework. RDF is a standard for describing.

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

An Introduction to Description Logics

Semantic Web Thanks to folks at LAIT lab Sources include :

An Introduction to RDF(S) and a Quick Tour of OWL

CS570 Artificial Intelligence Semantic Web & Ontology 2

The Semantic Web. The Web Today Designed for Human to read Cannot express meaning Architecture: URL –Decentralized: Link structure Language: html.

So What Does it All Mean? Geospatial Semantics and Ontologies Dr Kristin Stock.

SIG2: Ontology Language Standards WebOnt Briefing Ian Horrocks University of Manchester, UK.

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.

Of 17 course outline. of 17 marek reformat ecerf building, w ece 627, winter'13.

Ontology Notes are from:

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

Ontology and Ontology-Based Applications C. Farkas Some of the slides were obtained from presentations of Ian Horrocks.

The Semantic Web – WEEK 5: RDF Schema + Ontologies The “Layer Cake” Model – [From Rector & Horrocks Semantic Web cuurse]

COMP 6703 eScience Project Semantic Web for Museums Student : Lei Junran Client/Technical Supervisor : Tom Worthington Academic Supervisor : Peter Strazdins.

Semantic Web and its Logical Foundations Serguei Krivov, Ecoinformatics Collaboratory Gund Institute for Ecological Economics, UVM.

Description Logics. Outline Knowledge Representation Knowledge Representation Ontology Language Ontology Language Description Logics Description Logics.

The Semantic Web Week 12 Term 1 Recap Lee McCluskey, room 2/07 Department of Computing And Mathematical Sciences Module Website:

Semantic Web Presented by: Edward Cheng Wayne Choi Tony Deng Peter Kuc-Pittet Anita Yong.

From SHIQ and RDF to OWL: The Making of a Web Ontology Language

Semantic Web Research: Visual Modelling of OWL-S Services Computer Science Annual Workshop September 2004 Charlie Abela, James Scicluna Department of Computer.

OIL: An Ontology Infrastructure for the Semantic Web D. Fensel, F. van Harmelen, I. Horrocks, D. L. McGuinness, P. F. Patel-Schneider Presenter: Cristina.

1 Foundations of the Semantic Web: Ontology Engineering Building Ontologies 1 Alan Rector & colleagues.

Knowledge Representation Ontology are best delivered in some computable representation Variety of choices with different: –Expressiveness The range of.

Ontology Representation 2/67 Extension and Intension Ontologies provide two kinds of knowledge: –About the class or generic information that describes.

An Introduction to Description Logics. What Are Description Logics? A family of logic based Knowledge Representation formalisms –Descendants of semantic.

Of 39 lecture 2: ontology - basics. of 39 ontology a branch of metaphysics relating to the nature and relations of being a particular theory about the.

1 Representing Data with XML September 27, 2005 Shawn Henry with slides from Neal Arthorne.

OWL Capturing Semantic Information using a Standard Web Ontology Language Aditya Kalyanpur Jennifer Jay Banerjee James Hendler Presented By Rami Al-Ghanmi.

Ming Fang 6/12/2009. Outlines  Classical logics  Introduction to DL  Syntax of DL  Semantics of DL  KR in DL  Reasoning in DL  Applications.

Building an Ontology of Semantic Web Techniques Utilizing RDF Schema and OWL 2.0 in Protégé 4.0 Presented by: Naveed Javed Nimat Umar Syed.

Michael Eckert1CS590SW: Web Ontology Language (OWL) Web Ontology Language (OWL) CS590SW: Semantic Web (Winter Quarter 2003) Presentation: Michael Eckert.

Temporal Reasoning and Planning in Medicine Frame-Based Representations and Description Logics Yuval Shahar, M.D., Ph.D.

An Introduction to Description Logics (chapter 2 of DLHB)

Artificial Intelligence 2004 Ontology

DAML+OIL: an Ontology Language for the Semantic Web.

The future of the Web: Semantic Web 9/30/2004 Xiangming Mu.

Semantic Web Ontologies CS 431 – Carl Lagoze – Cornell University Acknowledgements: Alun Preece.

Of 33 lecture 1: introduction. of 33 the semantic web vision today’s web (1) web content – for human consumption (no structural information) people search.

OWL & Protege Introduction Dongfang Xu Ph.D student, School of Information, University of Arizona Sept 10, 2015.

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

CS621 : Artificial Intelligence Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture 12 RDF, OWL, Minimax.

References [1] D:\My Documents\SemanticWebWorkshop\kaynak\Ian Horrocks - CS646\intro-2004.pptD:\My Documents\SemanticWebWorkshop\kaynak\Ian Horrocks -

A Portrait of the Semantic Web in Action Jeff Heflin and James Hendler IEEE Intelligent Systems December 6, 2010 Hyewon Lim.

06 Dec Rev. 14 Dec CmpE 583 Fall 2008 OWL Language 1 OWL Language off Lacy Ch. 10 Atilla Elçi.

Web Ontology Language (OWL). OWL The W3C Web Ontology Language (OWL) is a Semantic Web language designed to represent rich and complex knowledge about.

OWL Web Ontology Language Summary IHan HSIAO (Sharon)

The Semantic Web: It’s not just for searching anymore! Bhaskar V Lecturer/CSE KLN College of Engineering Information Retrieval Semantic Web isa.

Ontology 101 PHIN Ontology Workshop August Ontology 101 Agenda What is (an) Ontology? What do we mean when we use the word? The main types of Ontologies.

OWL (Ontology Web Language and Applications) Maw-Sheng Horng Department of Mathematics and Information Education National Taipei University of Education.

Knowledge Representation Part II Description Logic & Introduction to Protégé Jan Pettersen Nytun.

ece 627 intelligent web: ontology and beyond

OWL Language off Textbook Ch. 10

Semantic Web - Ontologies

Semantic Web Lecture Notes Prepared by Jagdish S. Gangolly

Grid Computing 7700 Fall 2005 Lecture 18: Semantic Grid

Grid Computing 7700 Fall 2005 Lecture 18: Semantic Grid

CIS Monthly Seminar – Software Engineering and Knowledge Management IS Enterprise Modeling Ontologies Presenter : Dr. S. Vasanthapriyan Senior Lecturer.

Presentation transcript:

Brief History of Knowledge Representation, Description Logics and OWL OpenGALEN BioHealth Informatics Group © University of Manchester

2 Knowledge Represention: A brief history-I ►Informal Semantic Networks and Frames (pre 1980) ►Wood: What’s in a Link; Brachman What IS-A is and IS-A isn’t. ►First Formalisation (1980) ►Bobrow KRL, Brachman: KL-ONE ►All useful systems are intractable (1983) ►Brachman & Levesque: A fundamental tradeoff ►Hybrid systems: T-Box and A-Box ►All tractable systems are useless ( ) ►Doyle and Patel: Two dogmas of Knowledge Representation

© University of Manchester 3 A brief history of KR-II ►‘Maverick’ incomplete/intractable logic systems ( ) ►GRAIL, LOOM, Cyc, Apelon, …, ►Practical knowledge management systems based on frames ►Protégé ►The German School: Description Logics ( ) ►Complete decidable algorithms using tableaux methods ( ) ►Detailed catalogue of complexity of family – “alphabet soup of systems” ►Optimised systems for practical cases (1996-) ►Emergence of the Semantic Web ►Development of DAML (frames), OIL (DLs)  DAML+OIL  OWL ►Development of Protégé-OWL ►A dynamic field – constant new developments & possibilities

© University of Manchester 4

5 Description Logics ►Underneath: ►computationally tractable subsets of first order logic ►Describes relations between Concepts/Classes ►Individuals secondary ► DL Ontologies are NOT databases!

© University of Manchester 6 OWL, RDF, SWRL, … ►A family of technologies based on triple representations ►OWL is really just an XML/RDF presentation for descripton logic ►Designed for ontologies, but DLs were first developed for ►Configuration problems - AT&T ►Database Fusion - ATT, Boeing and many others ►Flexible user interfaces ►Housekeeping for KBSs

© University of Manchester 7 Ontology Technology ►“Ontology” covers a range of things ►Controlled vocabularies – e.g. MeSH ►Linguistic structures – e.g. WordNet ►Hierarchies (with bells and whistles) – e.g. Gene Ontology ►Frame representations – e.g. FMA ►Description logic formalisms – Snomed-CT, GALEN, OWL-DL based ontologies ►Philosophically inspired e.g. Ontoclean and SUMO

© University of Manchester 8 OWL The Web Ontology Language ►W3C standard ►Collision of DAML (frames) and Oil (DLs in Frame clothing) ►Three ‘flavours’ ►OWL-Lite –simple but limited ►OWL-DL – complex but deliverable (real soon now) ►OWL-Full – fully expressive but serious logical/computational problems ►Russel Paradox etc etc ►All layered (awkwardly) on RDF Schema ►Still work in progress – see Semantic Web Best Practices & Deployment Working Group (SWBP)

© University of Manchester 9 Note on syntaxes for OWL ►Three official syntaxes + Protégé-OWL syntax ►Abstract syntax-Specific to OWL ►N3 -OWL & RDF -used in all SWBP documents ►XML/RDF -very verbose ►Protégé-OWL-Compact, derived from DL syntax ►This tutorial uses simplified abstract syntax ►someValuesFrom  some ►allValuesFrom  only ►intersectionOf  AND ►unionOf  OR ►complementOf  not ►Protégé/OWL can generate all syntaxes