a tutorial at CONIELECOMP 2012, Puebla, Mexico, February 2012Speakers: Mauricio Osorio, María Auxilio Medina, and Héctor Pérez-Urbina.
AbstractSemantic 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.
ContentMonday, February 27th
Tuesday, February 28th
- 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
- 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
- Hands-on sessions
- Ontology-based information integration
- Integrity constraint validation
References & Resources
- RDF primer
- OWL 2 Web Ontology Language Primer
- OWL 2 Web Ontology Language Profiles
- SWRL specification
- SPARQL Query Language for RDF
- Protégé OWL tutorial from Manchester
- Markus Krötzsch, Frantisek Simancik, Ian Horrocks. A Description Logic Primer. CoRR abs/1201.4089: (2012).
- Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph. Foundations of Semantic Web Technologies. Chapman & Hall / CRC Textbooks in Computing, 2009.
- Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter F. Patel-Schneider (Eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press 2003, ISBN 0-521-78176-0.
About the speakersDra. 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.