Semantic Technologies: AI Strikes Back

a tutorial at CONIELECOMP 2012, Puebla, Mexico, February 2012

Speakers: Mauricio Osorio, María Auxilio Medina, and Héctor Pérez-Urbina.

Abstract

Semantic Technologies enable machines, as well as people, to better understand, share and reason with application data at execution time. In this tutorial we introduce the suite of the most popular Semantic Technologies—including RDF(S), OWL, and SPARQL—and we describe several applications in the context of the problem of Information Integration.

Content

Monday, February 27th
  • Knowledge representation & reasoning [30 mins]
    • Basic ideas in KR
    • Basic language of DL (concepts, roles, value restrictions)
    • OWA (versus CWA)
    • Reasoning (satisfiability, subsumption)
    • KR in DL (TBox, ABox, basic assumptions) 
    • Description logic systems (from theory to practice) 
    • Introduction to OWL
  • Description Logics as formal language [30 mins] 
    • Definition of the basic formalism
    • Basic description language AL 
    • The Description Logic SROIQ semantics (Tarsky style, UNA)
    • Important fragments of SROIQ 
    • Inference algorithms 
    • Relationship to OWL
  • Break [15 mins]
  • Creating ontologies in Protégé (HANDS-ON SESSION) [45 mins]
    • OWL 2 Profiles
    • Classes, properties and instances
    • Object and domain properties 
    • Restrictions by examples 
    • An overview of SWRL
  • Reasoners (HANDS-ON SESSION) [45 mins]
    • Introduction to Pellet
    • Checking the consistency of an ontology
    • Classifying an ontology
    • Retrieving the instances of complex class expressions
Tuesday, February 28th
  • Ontology-based information integration [30 mins]
    • Virtual vs Materialized
    • Mapping sources to ontologies
    • Extracting RDF from sources
  • Integrity constraint validation [30 mins]
    • OWL as a validation language for RDF data
    • DEMO: Stardog ICV
  • Applications [30 mins]
    • C&P applications
    • DEMO: SPANNER, Pelorus
  • Break [15 mins]
  • Querying ontologies (HANDS-ON SESSION) [45 mins]
    • Basic concepts of SPARQL
    • Common patterns of SPARQL queries
    • Querying repositories in Sesame
    • Using Sesame WorkBench

Material

  • Background
  • Hands-on sessions
  • Ontology-based information integration
  • Integrity constraint validation
  • Applications

References & Resources


Required software


About the speakers

Dra. María Auxilio Medina-Nieto is a professor at the Universidad Politéctica de Puebla. She earned her Ph.D. in Computer Science from Universidad de las Américas, Puebla. She obtained a Masters in Computer Systems Engineering at the same institution, and she obtained her Bachelor of Science in Computer Science from the Benemérita Universidad Autónoma de Puebla. Her research interest include web information retrieval, knowledge representation, and information technologies.

Dr. Mauricio Osorio is a professor and researcher (SNI 2) at the Universidad de las Américas, Puebla. He received his PhD in Computer Science from the State University of New York at Buffalo. He earned a Masters' degree in Electronic Engineering from CINVESTAV. His research is focused on the areas such as knowledge representation, logic programming, automatic reasoning, and argumentation.

Dr. Héctor Pérez-Urbina is a Senior Research Scientist at Clark & Parsia, LLC. He earned his DPhil degree in Computer Science from the University of Oxford. He received his Bachelor's degree in Computer Systems Engineering from Universidad de las Américas, Puebla. 
His main research interests are in the areas of description logics, knowledge representation and reasoning, and their application to the problems of ontology-based data access and information integration.