Orientation to Methods SOCoP 2012 Workshop Gary Berg-Cross SOCoP Executive Secretary Nov. 29-30, 2012 U. S. Geological Survey National Center 12201 Sunrise.

Slides:



Advertisements
Similar presentations
Dr. Leo Obrst MITRE Information Semantics Information Discovery & Understanding Command & Control Center February 6, 2014February 6, 2014February 6, 2014.
Advertisements

Database Design: ER Modelling (Continued)
Chapter 10: Designing Databases
CH-4 Ontologies, Querying and Data Integration. Introduction to RDF(S) RDF stands for Resource Description Framework. RDF is a standard for describing.
Semantic Web Thanks to folks at LAIT lab Sources include :
Alternative Approach to Systems Analysis Structured analysis
So What Does it All Mean? Geospatial Semantics and Ontologies Dr Kristin Stock.
OASIS Reference Model for Service Oriented Architecture 1.0
Software Testing and Quality Assurance
Chapter 8: Web Ontology Language (OWL) Service-Oriented Computing: Semantics, Processes, Agents – Munindar P. Singh and Michael N. Huhns, Wiley, 2005.
UML Class Diagrams: Basic Concepts. Objects –The purpose of class modeling is to describe objects. –An object is a concept, abstraction or thing that.
Domain-Specific Software Engineering Alex Adamec.
Martin Doerr, Gerald Hiebel, Institute of Computer Science
Semantic Web Technologies Lecture # 2 Faculty of Computer Science, IBA.
RDF (Resource Description Framework) Why?. XML XML is a metalanguage that allows users to define markup XML separates content and structure from formatting.
Principles of the GOLD Ontology & Conversion of GOLD to DCIF Presenters: Anthony Aristar, Evelyn Richter.
Ontology Development Kenneth Baclawski Northeastern University Harvard Medical School.
 Copyright 2005 Digital Enterprise Research Institute. All rights reserved. Towards Translating between XML and WSML based on mappings between.
1 SOCoP 2012 Workshop: Vision and Strategy Gary Berg-Cross SOCoP Executive Secretary Nov , 2012 U. S. Geological Survey National Center Sunrise.
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.
INF 384 C, Spring 2009 Ontologies Knowledge representation to support computer reasoning.
Ontologies for the Integration of Geospatial Data Michael Lutz Workshop: Semantics and Ontologies for GI Services, 2006 Paper: Lutz et al., Overcoming.
Intro to the June DC VoCamp A few words from the Organizers: Ed Summer, Todd Pehle and Gary Berg-Cross.
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.
Nancy Lawler U.S. Department of Defense ISO/IEC Part 2: Classification Schemes Metadata Registries — Part 2: Classification Schemes The revision.
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.
Brief Orientation to Methods SOCoP 2012 Workshop Gary Berg-Cross SOCoP Executive Secretary Nov NSF Stafford II facility Wilson Blvd, Ballston.
CS3773 Software Engineering Lecture 04 UML Class Diagram.
SOCoP 2012 Workshop 1 Containment, Container, Spatial Location and Containee Models SOCoP 2012 Workshop Gary Berg-Cross Nov , 2012 U. S. Geological.
Coastal Atlas Interoperability - Ontologies (Advanced topics that we did not get to in detail) Luis Bermudez Stephanie Watson Marine Metadata Interoperability.
Taken from Schulze-Kremer Steffen Ontologies - What, why and how? Cartic Ramakrishnan LSDIS lab University of Georgia.
Advanced topics in software engineering (Semantic web)
Chapter 3 RDF and RDFS Semantics. Introduction RDF has a very simple data model But it is quite liberal in what you can say Semantics can be given using.
Semantic web course – Computer Engineering Department – Sharif Univ. of Technology – Fall Knowledge Representation Semantic Web - Fall 2005 Computer.
U.S. Department of the Interior U.S. Geological Survey A Consideration of Geospatial Feature Formation in Linked Open Vocabularies Workshop on Linked Open.
SKOS. Ontologies Metadata –Resources marked-up with descriptions of their content. No good unless everyone speaks the same language; Terminologies –Provide.
SOCoP 2013 Workshop: Vision and Strategy Gary Berg-Cross SOCoP Executive Secretary Nov NSF Stafford II facility Wilson Blvd, Ballston VA.
Of 35 lecture 5: rdf schema. of 35 RDF and RDF Schema basic ideas ece 627, winter ‘132 RDF is about graphs – it creates a graph structure to represent.
Metadata Common Vocabulary a journey from a glossary to an ontology of statistical metadata, and back Sérgio Bacelar
Chapter 7: Resource Description Framework (RDF) Service-Oriented Computing: Semantics, Processes, Agents – Munindar P. Singh and Michael N. Huhns, Wiley,
Digital Libraries Lillian N. Cassel Spring A digital library An informal definition of a digital library is a managed collection of information,
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.
ESIP Semantic Web Products and Services ‘triples’ “tutorial” aka sausage making ESIP SW Cluster, Jan ed.
Ontology Engineering Lab #5 – September 30, 2013.
The Use of Ontology Design Patterns for Metadata Semantics: Methods, Chances, and Limitations Gary Berg-Cross SOCoP Executive Secretary US RDA Advisory.
Knowledge Representation. Keywordsquick way for agents to locate potentially useful information Thesaurimore structured approach than keywords, arranging.
C++ Inheritance Data Structures & OO Development I 1 Computer Science Dept Va Tech June 2007 © McQuain Generalization versus Abstraction Abstraction:simplify.
Practical RDF Chapter 12. Ontologies: RDF Business Models Shelley Powers, O’Reilly SNU IDB Lab. Taikyoung Kim.
Domain Model A representation of real-world conceptual classes in a problem domain. The core of object-oriented analysis They are NOT software objects.
Chapter 5 System Modeling. What is System modeling? System modeling is the process of developing abstract models of a system, with each model presenting.
Achieving Semantic Interoperability at the World Bank Designing the Information Architecture and Programmatically Processing Information Denise Bedford.
Semantic Interoperability in GIS N. L. Sarda Suman Somavarapu.
David Leal / Ontology Summit Synthesis Panel - 26-Mar URI for quantities, units and scales Motivation  URIs are being assigned to quantities,
Ccs.  Ontologies are used to capture knowledge about some domain of interest. ◦ An ontology describes the concepts in the domain and also the relationships.
Draft Ideas on a Process to Design and Build the DFT Vocabulary Gary Berg-Cross Developed for DFT WG Session at 2 nd RDA Plenary Sept Washington.
Ontology Design Patterns Dr Nicholas Gibbins –
Semantic Web. P2 Introduction Information management facilities not keeping pace with the capacity of our information storage. –Information Overload –haphazardly.
Linked Data & Semantic Web Technology The Semantic Web Part 7. RDF Semantics Dr. Myungjin Lee.
Chapter Describing Individuals OWL Individuals ▫Ontological Primitive Layer  Mostly described with RDF ▫Instances of user-defined ontological.
OWL (Ontology Web Language and Applications) Maw-Sheng Horng Department of Mathematics and Information Education National Taipei University of Education.
Service-Oriented Computing: Semantics, Processes, Agents
SOCoP Workshops & GeoSpatial Ontology Patterns
Service-Oriented Computing: Semantics, Processes, Agents
ece 627 intelligent web: ontology and beyond
Ontology From Wikipedia, the free encyclopedia
Geographic Information Systems
Ontology.
Ontology.
Knowledge Representation Part VII Protégé / RDFS / OWL / ++
Presentation transcript:

Orientation to Methods SOCoP 2012 Workshop Gary Berg-Cross SOCoP Executive Secretary Nov , 2012 U. S. Geological Survey National Center Sunrise Valley Dr., Reston VA

Orientation to Semantic Methods for Workshop2 Outline 1. Intro to ODPs 2. Ontology Engineering 1. Problems, Component and Relation Identification & Clarification 2. Conceptualization Phase Systematic organization & framing with visual expression 3. Formalization Geometry A point is the most fundamental object in geometry. A point represents position only; it has zero size Geometry In NeoGeo Ontology Super-class grouping all geometrical representations (includes non-RDF formats e.g. KML, GML, WKT..) URI

Orientation to Semantic Methods for Workshop3 Examples of CPs From PhD Course on Computational University of Bologna 2011 Author(s): Valentina Presutti, Aldo Gangemi, Eva Blomqvist;Valentina PresuttiAldo GangemiEva Blomqvist esign.pdf Colon

Orientation to Semantic Methods for Workshop4 Conceptual Pattern- A Schema for Motion: S G onPath We can generally outline what we mean by Motion in a vocabulary of lexical terms to represent concepts (Start of a Path) typically used in this particular domain. All paths have a start point End point could be represented in a coordinate system We remain general in the pattern since this is a cognitive activity & the concept has flexible semantics depending on human intentions and perspectives. The pattern can generate alternate descriptions conforming to alternate interpretations.

Orientation to Semantic Methods for Workshop5 Path -name -start object -end object -path description -medium - surface is part of Motion has part hasPath Moving Object hasPath Geo-VoCamp Patterns – Path from an info perspective Just OWL Classes Motion is an OWL:Class Light constraints by relations and what is related

Orientation to Semantic Methods for Workshop6 Point of Interest (POI) Pattern: Geographic information constructs, not direct representations of real entities Some placeholders Ideas for later analysis. Groundable by adding data not more semantics

Orientation to Semantic Methods for Workshop7 Composing New ODP from Old: Semantic Trajectory Preserves axioms from other ODPs Adds concepts Data for Model :mikestrip a :SemanticTrajectory; :hasSegment [a :Segment; :from :fix1; // mikeshome:to :fix2;// rest stop :traversedBy :fordFocus], [a :Segment; :from :fix1; // rest stop :to :fix2],// WrightStateU :traversedBy :fordFocus], [a :Segment;:from :fix1; // WrightStateUniversity:to:fix2],//.. :fixn].:mike a foaf:Person:mikesFordFocus a motion:MovingObject.:garminEtrexVistaC a:Source.geo: Geometry rdfs:subClassOf :Position.:mikesFordFocus a motion:MovingObject]:motion1 a……

Orientation to Semantic Methods for Workshop8 Step 1:Acquire Scoped Domain Knowledge & Vocabulary Principle: Clarify & Indentify Problem, Components & Relations Identify scope: We prefer working from scenario examples with potential data to help structure requirements, defining the purpose of the ontology and illustrate the nature of a problem topic. What are we talking about? What do you mean when you use these words.. Streams as objects (not processes?)….. What is the scope? Not how streams flood, or pools of water,… What is the purpose of this modeling? What data is relevant …. We should leverage existing work but not slavishly leverage thoughts & experiences from other groups that are collaborating on ontologies reference or include supporting vocabularies/ontologies, Terminologies can be a starting point, but the path should be to the concepts behind what the terms mean to domain people and be relatable to “data.” Controlled vocabularies and other terminologies are necessary lexical resources to refer to concepts Linguistics or conceptual analysis Handle multiple meaning and similarities

Orientation to Semantic Methods for Workshop9 Understanding from Definitions & Analysis Starts on partitioning experience into important/general parts & relations Example of semantics from definitions of a noun phrase “stream reach” – what we are talking about?: a continuous part of a physical object stream (in a network) between two specified points. Reaches are commonly defined by a length of stream between two confluences, or a lake or pond. Addition - Stream - physical container hosting a void in which water can be stored and through which it can flow. Part of Natural Aggregation into Systems Platt?

Orientation to Semantic Methods for Workshop10 Some Design Detail on the Problem Space/System of Stream Reach Reach Point R 101 Reach Point R 102 Similar/uniform Characteristics streamReach hasProperty, uniform Flow to downstream end Reaches in a stream network are segments of surface water with similar hydrologic characteristics. Each reach is assigned a unique reach number and a flow direction. (attributes) The length of the reach, the type of reach, and differing important information are assigned as attributes to each reach depending on perspective. Ecologists and hydrologists will employ different concepts. Void of water Monitoring

Orientation to Semantic Methods for Workshop11 Stream Reach by the Book – not everyday use “Reach” means a watercourse that has a continuous channel bed that meets one of the following requirements: (a) the channel bed is at least 100 m in length, measured from any of the following locations to the next of any of the following locations: (i) the location where the watercourse begins or ceases to have a continuous channel bed; (ii) the location where (A) a significant change in morphology occurs, for example at the junction of a major tributary, and (B) the mean width of the channel bed, as measured over a representative 100 m length of channel bed, upstream and downstream of the morphological change is sufficient to change the riparian class of the watercourse, if the watercourse were a stream; (iii) the location where (A) a significant change in morphology occurs, eg at the junction of a major tributary, and (B) the mean gradient of the channel bed, as measured over a representative 100 m length of channel bed upstream and downstream the morphological change, changes from less than 20% to 20% or more, or vice versa; (b) the channel bed is at least 100 m in length, made up of one or more segments, the boundaries of which are any of the locations referred to in paragraph (a); (c) the channel bed is less than 100 m in length, if the continuous channel bed (i) is known to contain fish, (ii) flows directly into a fish stream or a lake that is known to contain fish, or (iii) flows directly into a domestic water intake.  See National Hydrography Dataset &

Orientation to Semantic Methods for Workshop12 Conceptualization Qualities 1. Correctly captures intuitions of domain experts as they express intended content (expressivity) 1. These statements should be understandable to humans E.g. Touches” is symmetrical (StramReach-101 touches StramReach-102 so visa versa..Leg1ofTrip touches Leg2) Formalization will make them processable by computing systems. 2. Minimally redundant - no unintended synonyms 3. Multiple possible meanings of concepts are reduced so that systems & people can recognize commonalities and differences in the semantics of the concepts that they use.

Orientation to Semantic Methods for Workshop13 Forge Consensus on Some of the Relevant Terms/ Concepts & Express To be a quality model (& later ontology) we should be able to make meaningful statements about what exists in our focused domain/topic and establish consensus about the meaning of terms (in general) Stream reach/segment is part of a stream Streams and their parts are watercourses Watercourses are containers Watercourses may contain water Stream segment/reaches have stream direction Steams have constituents Constituents had Some stream reach constituents are uniform in character….. Inside Outside Boundary The water is in the stream. The water is surface water. The stream contains a water surface SpatialRegion SpatialObject Aha! A pattern.. Container Controlled vocabulary suitable for OWL or CL helps Contained Object

Orientation to Semantic Methods for Workshop14 Conceptual Modeling & Design Phase Frames, Organizes, Structures, Visualizes Container Pattern Container IsA DUL:SocialObject Container Contains Containee Container hasLocation SpatialLocation Place IsA SpatialLocation Place denotesLocation Container Axiom: Some ContainedObjects are DUL:PhysicalObjects Axiom: Container contains 0-N contained objects…… Spatial Location Pattern?? Region IsA SpatialLocation SpatialLocation IsA Spatial Region Simple CM Language

Orientation to Semantic Methods for Workshop15 Conceptual Modeling Activities Design the overall conceptual structure of the domain. This involves objects and their properties consistent with your purpose. Focus on the Parts needed to build a Conceptual Models as a product for input to Ontology 1. Identifying & defining the domain's principal concrete concepts & building a concept base (Objects ->Classes) 2. Identifying the relationships among the concepts 1. Arrange in taxonomical class hierarchy(s) 2. Clarify IsA hierarchies and part-whole relations 3. Link concepts via other Relations….. 3. Discuss constraints that characterize key concepts and their relations 1. A Container may contain 0-n objects (empty container idea) 2. FlowsInto relation is transitive Add concepts & relations & individuals to the level of detail necessary to satisfy your purposes. All these will provide commitments to be expressed in an ontological language

Orientation to Semantic Methods for Workshop16 Class Hierarchies, Attributes & Relations (Path Ontology Examples) 1. Arranging objects as class hierarchies (supporting transitivity) It depends on what vocabulary you adopt: 1. Path is a Feature, feature is a spatialThing, spatialThing is a Thing….OR 2. Path is a spatialFeature, spatialFeature is a PhysicalObject, (DOLCE) OR 3. Path is a Feature, Feature is a SpatialObject, SpatialObject is either a Feature or a Geometry (GeoSPARQL model) See 2. Attributes (class slots) Path has a startObject, Path has a Name, Path has a Description (“turn onto VA route 247”), some Descriptions are PathGeometries, Sunrise Valley Dr. hasQuantity Length DataPropertyAssertion(.21 :hasValue : " "^^xsd:integer, hasUnit: miles ) …. 3. Relations (Properties) includes such ideas as Contains & hasPart Path 101 hasPart Path101a, Path101a connectedTo Path101b…..

Orientation to Semantic Methods for Workshop17 Am I Doing Structural, Ontological or Conceptual Analysis & Design ? There are distinctions, but … each can provide something from its best practices that helps systematize the information. Leveraging a Good Conceptual model the formal ontology should represent: Meanings & Agreed upon Common Understanding Organization Taxonomy etc. Basic Vocabulary as agreed upon Some instantible connection to the “real world” and data from it. After Chris Welty’s: Ontology-Driven Conceptual Modeling --ChrisWelty_ /OntoClean-2004v1--ChrisWelty_ ppt

Orientation to Semantic Methods for Workshop18 Option of Aligning Concepts Each top-level concept in your model might be loosely “aligned” to a top-level concept in a foundational ontology like DUL. Given an alignment to top-level concepts, you can “define” some the relations between them perhaps by extending the foundational relations that are used in ontologies like DUL to relate their concepts. memberOf and partOf are examples of foundational relations. We can use them…..

Orientation to Semantic Methods for Workshop19 Tools It is often useful to start with hand/board drawings to accommodate conversational flow. PowerPoint graphics can be used to tidy things up for presentation. Better yet is a modeling tool like CMAP with support for model constructs and automatic translation into OWL/TTL etc.

Orientation to Semantic Methods for Workshop20 Formally Committing to our Conceptualization with Axiomatized Semantics 1. Formal –can be represented/put into a form amenable to automated processing [formal language] Ontologies formalize concepts with axioms defined on such concept vocabularies 1. Sufficiently axiomatized – include detailed constraining descriptions, such as transitivity, as axioms (not just text descriptions) 2. Rigorous – stands up to rational analysis 1. Distinguish which concepts have instances 1. Named classes can (potentially) have instances

Orientation to Semantic Methods for Workshop21 Formalization with Axiomatized Semantics RDFS is Modestly Formal - Used to Define a Scale with a small concept vocabularies 1. scale:hasPoint (members); 2. rdfs:subPropertyOf scovo:datasetOf ; 3. rdfs:label "has point" ; 4. rdfs:comment "Associates a Scale with the Point(s) of which it is comprised." 5. rdfs:domain scale:Scale ; 6. rdfs:range scale:Point. From VoCamp with Ordnance Survey

Orientation to Semantic Methods for Workshop22 Nearness Model- uses Scale Model 4 Point Scale of here, nearest, nearer & close using before & after Properties The web of logical statements carries the meaning.

Orientation to Semantic Methods for Workshop23 Better Semantics Using OWL Language Transitive, inverse, symmetrical, reflexive/irreflexive properties Using RDFS we can’t say that: isPartOf is a transitive property (branch isPartOf River and tributary isPartOf branch), Need Transitive property for Regions to say that the subRegionOf property between regions is transitive hasPart is the inverse of isPartOf or A=A is reflexive but part relations are irreflexive These are things that can be said in OWL (Web Ontology Language)

Orientation to Semantic Methods for Workshop24 Descriptive Logic OWL uses a subset of 1 st Order Logic called Descriptive Logic (DL) that is decidable and simple enough to represent and describe objects and properties Has a terminological (T-box) part to create classes some by sub-typing and saying that physical objects are a sub-type of object Has an assertional (A-box) part to describe relations (other than sub-type) between instances (Reston is_located_in VA) and to use axioms to constrain meaning.

Orientation to Semantic Methods for Workshop25 Motion / Path RDF/ontology in Turtle (TTL): (Terse RDF Triple Language – uses a., ;] ) Namespace event: :. (Default prefix) # Ontology description :Ontology a owl:Ontology; owl:versionInfo "0.5"; rdfs:comment “A geospatial instantation of the generic Movement & Path pattern created at GeoVoCampSB2012."; dc:title "Spatial Motions and Paths". # Motion class rdfs:comment "A motion is an event in which some entity moves through space" ; rdfs:subClassOf [ a owl:Restriction; owl:onProperty :startEvent; owl:allValuesFrom event:Event ]; :Motion a owl:Class; rdfs:subClassOf event:Event; rdfs:label "Motion"; rdfs:subClassOf [ a owl:Restriction; owl:onProperty :endEvent; owl:allValuesFrom event:Event ]; rdfs:subClassOf [ a owl:Restriction; owl:onProperty :path; owl:allValuesFrom :Path ]; rdfs:subClassOf [ a owl:Restriction; owl:onProperty spw:hasPart; owl:allValuesFrom :Motion ] ; rdfs:subClassOf [ a owl:Restriction; owl:onProperty :startEvent; owl:allValuesFrom event:Event ]. A restriction class should have exactly one triple linking the restriction to a particular property, using owl:onProperty.

Orientation to Semantic Methods for Workshop26 Container in TTL for prefix :. :SpatialLocation rdf:type owl:Class. :Place rdf:type owl:Class ; :IsA :SpatialLocation ; :denotesLocation :Container. :Container rdf:type owl:Class ; :IsA DUL:SocialObject ; :hasLocation :SpatialLocation. DUL:SocialObject rdf:type owl:Class. From CMAP draft