Copyright © 2002 Cycorp Introduction Fundamental Expression Types Top Level Collections Time and Dates Spatial Properties and Relations Event Types Information.

Slides:



Advertisements
Similar presentations
1 Knowledge Representation Introduction KR and Logic.
Advertisements

KR-2002 Panel/Debate Are Upper-Level Ontologies worth the effort? Chris Welty, IBM Research.
CH-4 Ontologies, Querying and Data Integration. Introduction to RDF(S) RDF stands for Resource Description Framework. RDF is a standard for describing.
Chapter 6: Modeling and Representation Service-Oriented Computing: Semantics, Processes, Agents – Munindar P. Singh and Michael N. Huhns, Wiley, 2005.
CS570 Artificial Intelligence Semantic Web & Ontology 2
Copyright: SIPC Reference Data Architecture and Standards An Introduction to ISO15926 Matthew West.
Copyright © 2002 Cycorp Why use logic? CycL Syntax Collections and Individuals (#$isa and #$genls) Microtheories Foundations of Knowledge Representation.
Copyright © 2002 Cycorp Introduction Fundamental Expression Types Top Level Collections Time and Dates Spatial Properties and Relations Event Types Information.
Image Search Presented by: Samantha Mahindrakar Diti Gandhi.
Copyright © 2002 Cycorp Introduction Fundamental Expression Types Top Level Collections Time and Dates Spatial Properties and Relations Event Types Information.
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.
Copyright © 2002 Cycorp Why use logic? CycL Syntax Collections and Individuals (#$isa and #$genls) Microtheories Foundations of Knowledge Representation.
Copyright © 2002 Cycorp Introduction Fundamental Expression Types Top Level Collections Time and Dates Spatial Properties and Relations Event Types Information.
Cornell CS Semantic Web Ontologies & Data Models CS 502 – Carl Lagoze – Cornell University Acknowledgements: Eric Miller Dieter Fensel.
Copyright © 2002 Cycorp Introduction Fundamental Expression Types Top Level Collections Time and Dates Spatial Properties and Relations Event Types Information.
Copyright © 2002 Cycorp Introduction Fundamental Expression Types Top Level Collections Time and Dates Spatial Properties and Relations Event Types Information.
Foundations This chapter lays down the fundamental ideas and choices on which our approach is based. First, it identifies the needs of architects in the.
Presented to: By: Date: Federal Aviation Administration Enterprise Information Management SOA Brown Bag #2 Sam Ceccola – SOA Architect November 17, 2010.
Knowledge Mediation in the WWW based on Labelled DAGs with Attached Constraints Jutta Eusterbrock WebTechnology GmbH.
ARTIFICIAL INTELLIGENCE [INTELLIGENT AGENTS PARADIGM] Professor Janis Grundspenkis Riga Technical University Faculty of Computer Science and Information.
Dr. Samy Abu Nasser Faculty of Engineering & Information Technology Artificial Intelligence.
1 Artificial Intelligence Applications Institute Centre for Intelligent Systems and their Applications Stuart Aitken Artificial Intelligence Applications.
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.
Author: Lornet LD team Reuse freely – Just quote Desired Properties of a MOT Graphic Representation Formalism Simplicity and User Friendliness (win spec,
SOUPA: Standard Ontology for Ubiquitous and Pervasive Applications Harry Chen, Filip Perich, Tim Finin, Anupam Joshi Department of Computer Science & Electrical.
BioHealth Informatics Group Advanced OWL Tutorial 2005 Ontology Engineering in OWL Alan Rector & Jeremy Rogers BioHealth Informatics Group.
Craigiebuckler, Aberdeen, AB15 8QH, UK Macaulay Modelling Team Work on Ontologies October 2005 – March 2006 Gary Polhill and Nick Gotts.
1 Adam Pease Articulate Software apease at articulatesoftware dot com
Writing to Learn in ALL content areas. What are 2 / 3 Column Notes? Column notes are a method of note taking that requires active reading and / or listening.
UML Profile to Support Requirements Engineering with KAOS Presented by Chin-Yi Tsai.
Social Cognition January 16, Definitions Social cognition – structures of knowledge, the processes of knowledge creation, dissemination, and affirmation,
LOGIC AND ONTOLOGY Both logic and ontology are important areas of philosophy covering large, diverse, and active research projects. These two areas overlap.
Taken from Schulze-Kremer Steffen Ontologies - What, why and how? Cartic Ramakrishnan LSDIS lab University of Georgia.
1 Everyday Requirements for an Open Ontology Repository Denise Bedford Ontolog Community Panel Presentation April 3, 2008.
Artificial Intelligence: Introduction Department of Computer Science & Engineering Indian Institute of Technology Kharagpur.
Proposed NWI KIF/CG --> Common Logic Standard A working group was recently formed from the KIF working group. John Sowa is the only CG representative so.
U.S. Department of the Interior U.S. Geological Survey A Consideration of Geospatial Feature Formation in Linked Open Vocabularies Workshop on Linked Open.
EEL 5937 Ontologies EEL 5937 Multi Agent Systems Lecture 5, Jan 23 th, 2003 Lotzi Bölöni.
THE SUPPORTING ROLE OF ONTOLOGY IN A SIMULATION SYSTEM FOR COUNTERMEASURE EVALUATION Nelia Lombard DPSS, CSIR.
Computer Science 210 Computer Organization Course Introduction.
Oreste Signore- Quality/1 Amman, December 2006 Standards for quality of cultural websites Ministerial NEtwoRk for Valorising Activities in digitisation.
What is an Ontology? A representation of knowledge in a domain In theory Thomas Gruber (1993) “An ontology is a formal, explicit specification of a shared.
Introduction to the Semantic Web and Linked Data Module 1 - Unit 2 The Semantic Web and Linked Data Concepts 1-1 Library of Congress BIBFRAME Pilot Training.
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.
Conceptual Mapping Enhancing Design Ideation CONCEPTUAL MAPPING IN THE DESIGN of VIRTUAL ARCHITECTURE PL A C E S I N C Y B E R S P A C E RIVKA OXMAN TECHNION.
CS621 : Artificial Intelligence Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture 12 RDF, OWL, Minimax.
EEL 5937 Ontologies EEL 5937 Multi Agent Systems Lotzi Bölöni.
CSE 202 – Formal Languages and Automata Theory 1 REGULAR EXPRESSION.
Rinke Hoekstra Use of OWL in the Legal Domain Statement of Interest OWLED 2008 DC, Gaithersburg.
LE:NOTRE Spring Workshop The Role of Ontologies for Mapping the Domain of Landscape Architecture An introduction.
COMPUTER SYSTEM FUNDAMENTAL Genetic Computer School INTRODUCTION TO ARTIFICIAL INTELLIGENCE LESSON 11.
Semantic Web. P2 Introduction Information management facilities not keeping pace with the capacity of our information storage. –Information Overload –haphazardly.
A CRM-based Ontology for Narratives 1 Carlo Meghini, Valentina Bartalesi.
Knowledge Representation Part I Ontology Jan Pettersen Nytun Knowledge Representation Part I, JPN, UiA1.
Service-Oriented Computing: Semantics, Processes, Agents
DOMAIN ONTOLOGY DESIGN
ece 627 intelligent web: ontology and beyond
The Role of Ontologies for Mapping the Domain of Landscape Architecture An introduction.
Lee McCluskey University of Huddersfield
Web Service Modeling Ontology (WSMO)
Representation of Actions in Cyc and KM
Knowledge Representation
ADO.NET Entity Framework Marcus Tillett
Survey of Knowledge Base Content
Ontology.
Introduction.
An Introduction to ISO15926 Matthew West.
Ontology.
IDEAS Core Model Concept
Presentation transcript:

Copyright © 2002 Cycorp Introduction Fundamental Expression Types Top Level Collections Time and Dates Spatial Properties and Relations Event Types Information More Content Areas Survey of Knowledge Base Content

Copyright © 2002 Cycorp The Form and Content Of The Knowledge Base The main advantage of Cyc over other systems for representing knowledge is its use of a formal language in which inferential connections between concepts and statements are encoded in a machine accessible way. The content of the Knowledge Base comprises: –A vast taxonomy of concepts and relations –A rich formal representation of their interconnections

Arrangement, by Generality Facts (Database) Upper Ontology Core Theories Domain-Specific Theories Upper Ontology: Abstract Concepts Core Theories: Space, Time, Causality, … Domain-Specific Theories Facts: Instances Knowledge Base Layers

Arrangement, by Generality Facts (Database) Upper Ontology Core Theories Domain-Specific Theories EVENT  TEMPORAL-THING  INDIVIDUAL  THING Upper Ontology: Abstract Concepts Knowledge Base Layers

Arrangement, by Generality Facts (Database) Upper Ontology Core Theories Domain-Specific Theories EVENT  TEMPORAL-THING  INDIVIDUAL  THING For all events a and b, a causes b implies a precedes b Upper Ontology: Abstract Concepts Core Theories: Space, Time, Causality, … Knowledge Base Layers

Arrangement, by Generality Facts (Database) Upper Ontology Core Theories Domain-Specific Theories EVENT  TEMPORAL-THING  INDIVIDUAL  THING For all events a and b, a causes b implies a precedes b For any mammal m and any anthrax bacteria a, m’s being exposed to a causes m to be infected by a. Upper Ontology: Abstract Concepts Core Theories: Space, Time, Causality, … Domain-Specific Theories Knowledge Base Layers

Facts (Database) Upper Ontology Core Theories Domain-Specific Theories EVENT  TEMPORAL-THING  INDIVIDUAL  THING For all events a and b, a causes b implies a precedes b For any mammal m and any anthrax bacteria a, m’s being exposed to a causes m to be infected by a. John is a person infected by anthrax. Upper Ontology: Abstract Concepts Core Theories: Space, Time, Causality, … Domain-Specific Theories Facts: Instances Knowledge Base Layers Arrangement, by Generality

Copyright © 2002 Cycorp Summary The KB is a vast taxonomy of concepts and relations CycL is a rich formal representation of their interconnections The KB can be thought of as made up of layers ordered by degree of generality