DOCSLIB.ORG

Ontologies and the Semantic Web

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Ontologies and the Semantic Web Ontologies and the Semantic Web SMBM-2006 Jena, April 9, 2006 Steffen Staab http://isweb.uni-koblenz.de Steffen Staab (1) ISWeb – Informationssysteme & Semantic Web Agenda 1. Ontologies 2. Semantic Web 3. Semantic Web Languages 4. Some Applications (Ontoprise) 5. Ontologies & Text Steffen Staab (2) ISWeb – Informationssysteme & Semantic Web Part I Introduction to Ontologies Steffen Staab (3) ISWeb – Informationssysteme & Semantic Web Origin and History • Ontology in Philosophy • a philosophical discipline, branch of philosophy that deals with the nature and the organization of reality • Science of Being (Aristotle, Metaphysics, IV, 1) • Tries to answer the questions: • What characterizes being? • Eventually, what is being? Steffen Staab (4) ISWeb – Informationssysteme & Semantic Web Aristotle - Ontology • Before: study of the nature of being • Since Aristotle: study of knowledge representation and reasoning • Terminology: – Genus: (Classes) – Species: (Subclasses) – Differentiae: (Characteristics which allow to group or distinguish objects from each other) • Syllogisms (Inference Rules) Steffen Staab (5) ISWeb – Informationssysteme & Semantic Web Example for differentiae (adapted from Uta Priss, in preparation) real cartoon cat dog rabbit fish gorilla koala mammal Garfield X X X Snoopy X X X Bugs X X X Bunny Nemo X X Copito X X X Osmond X X X Steffen Staab (6) ISWeb – Informationssysteme & Semantic Web Organizing the Objects as a Lattice Steffen Staab (7) ISWeb – Informationssysteme & Semantic Web What is an Ontology? Gruber 93: An Ontology is a formal specification ⇒ Executable, Discussable of a shared ⇒ Group of persons conceptualization ⇒ About concepts of a domain of interest ⇒ Between application and „unique truth“ Steffen Staab (8) ISWeb – Informationssysteme & Semantic Web Why Develop an Ontology? • To make domain assumptions explicit – Easier to change domain assumptions – Easier to understand and update legacy data • To separate domain knowledge from operational knowledge – Re-use domain and operational knowledge separately •A community reference for applications •To share a consistent understanding of what information means Steffen Staab (9) ISWeb – Informationssysteme & Semantic Web Menu Taxonomy Object Person Topic Document Student Researcher Semantics Doctoral Student PhD Student F-Logic Ontology Taxonomy := Segmentation, classification and ordering of elements into a classification system according to their relationships between each other Steffen Staab (10) ISWeb – Informationssysteme & Semantic Web Menu Thesaurus Object Person Topic Document Student Researcher Semantics Doktoral Student PhD Student F-Logic Ontology synonym similar • Terminology for specific domain • Taxonomy plus fixed relationships (similar, synonym, related to) • originate from bibliography Steffen Staab (11) ISWeb – Informationssysteme & Semantic Web Menu Topic Map Object knows described_in Person Topic Document writes Student Researcher Semantics Doktoral Student PhD Student F-Logic Ontology synonym similar Tel Affiliation • Topics (nodes), relationships and occurences (to documents) • ISO-Standard • typically for navigation- and visualisation Steffen Staab (12) ISWeb – Informationssysteme & Semantic Web Ontology (in our sense) Object is_a-1 knows described_in Person Topic Document writes is_a-1 Student Researcher Semantics F-Logic Ontology is_a-1 subTopicOf similar Affiliation DoktoralPhDPhD Student Student Student PhD Student F-Logic Ontology Rules instance_of-1 T described_insimilar D T is_about D Tel Affiliation York Sure P writes D is_about T P knows T +49 721 608 6592 AIFB • Representation Language: Predicate Logic (F-Logic) • Standards: RDF(S); OWL Steffen Staab (13) ISWeb – Informationssysteme & Semantic Web Ontologies - Some Examples • General purpose ontologies: – DOLCE, http://www.loa-cnr.it/DOLCE.html – The Upper Cyc Ontology, http://www.cyc.com/cyc-2-1/index.html – IEEE Standard Upper Ontology, http://suo.ieee.org/ • Domain and application-specific ontologies: – GALEN, http://www.openclinical.org/prj_galen.html – Foundational Model of Anatomy, http://sig.biostr.washington.edu/projects/fm/AboutFM.html – RETSINA Calendering Agent, http://ilrt.org/discovery/2001/06/schemas/ical-full/hybrid.rdf – Dublin Core, http://dublincore.org/ • Semantic Desktop Ontologies – Semantics-Aware instant Messaging: SAM Ontology, http://www.uni-koblenz.de/FB4/Institutes/IFI/AGStaab/Research/sam – Haystack, http://haystack.lcs.mit.edu/ – Gnowsis, http://www.gnowsis.org/ – Piggybank, http://simile.mit.edu/piggy-bank/ • Web Services Ontologies – Core ontology of services http://cos.ontoware.org – Web Service Modeling ontology http://www.wsmo.org –OWL-S, http://www.daml.org/services/owl-s/1.0/ • Ontologies in a wider sense – GO - Gene Ontology, http://www.geneontology.org/ –UMLS, http://www.nlm.nih.gov/research/umls/ – Agrovoc, http://www.fao.org/agrovoc/ – Art and Architecture, http://www.getty.edu/research/tools/vocabulary/aat/ – DTD standardizations, e.g. HR-XML, http://www.hr-xml.org/ – WordNet / EuroWordNet, http://www.cogsci.princeton.edu/~wn Steffen Staab (14) ISWeb – Informationssysteme & Semantic Web Ontologies and Their Relatives General Formal logical Is-a constraints Catalog / ID Thesauri Frames Informal Terms/ Formal Value Is-a Axioms Glossary Instance Restric- Disjoint tions Inverse Relations, ... Steffen Staab (15) ISWeb – Informationssysteme & Semantic Web Ontologies and Their Relatives (cont´d) Topic Maps Front-End Thesauri Navigation Taxonomies Information Retrieval Query Expansion Sharing of Knowledge Queries Ontologies Semantic Networks Consistency Checking EAI Mediation Reasoning Extended ER-Models Predicate Logic Back-End Steffen Staab (16) ISWeb – Informationssysteme & Semantic Web Applications of Ontologies • Natural Language Processing and Machine Translation, e.g. Nirenburg et al. 2004, Maedche et al. 2001, Agirre et al. 1996, Beale et al. 1995 • Semantic Web, see http://www.w3.org/2001/sw/ and http://www.w3.org/2001/sw/WebOnt/ • Knowledge Engineering & Management, e.g. Fensel 2001, Mullholland et al. 2000; Staab & Schnurr, 2000; Sure et al., 2000, Abecker et al. 1997 • Electronic Commerce, e.g. RosettaNet3 and Ontology.org4 • Information Retrieval and Information Integration, e.g. Kashyap, 1999; Mena et al., 1998; Wiederhold, 1992 • Intelligent Search Engines, e.g. WebKB (Martin et al. 2000), SHOE (Heflin & Hendler, 2000), OntoSeek (Guarino et al., 1999), Ontobroker (Decker et al., 1999) • Digital Libraries, e.g. Amann & Fundulaki, 1999 • Enhanced User Interfaces, e.g. (Kesseler, 1996), Inxight5 • Software Agents, e.g. OnTo-agents, FIPA, (Gluschko et al., 1999; Smith & Poulter, 1999) • Business Process Modeling, e.g. Decker et al., 1997; TOVE, 1995; Uschold et al., 1998 Steffen Staab (17) ISWeb – Informationssysteme & Semantic Web Overview Literature S. Staab, R. Studer. Handbook on Ontologies. Springer, 2004. Steffen Staab (18) ISWeb – Informationssysteme & Semantic Web Part II Introduction to Semantic Web Steffen Staab (1) ISWeb – Informationssysteme & Semantic Web Syntax is not sufficient Andreas • Tel • E-Mail Steffen Staab (2) ISWeb – Informationssysteme & Semantic Web Information Convergence • Convergence not just in devices, also in “information” – Your personal information (phone, PDA,…) Calendar, photo, home page, files… – Your “professional” life (laptop, desktop, … Grid) Web site, publications, files, databases, … – Your “community” contexts (Web) Hobbies, blogs, fanfic, social networks… • The Web teaches us that people will work to share – How do we CREATE, SEARCH, and BROWSE in the non-text based parts of our lives? Steffen Staab (3) ISWeb – Informationssysteme & Semantic Web WWW vs. Semantic Web WWW := Semantic Web := Hypertext & Semantic Web Language/Data & Internet & Ontologies & Social Phenomenon Internet & Social Phenomenon Steffen Staab (4) ISWeb – Informationssysteme & Semantic Web Let’s try XML XML is unspecific: n No predetermined vocabulary o No semantics for relationships Ön& o must be specified upfront Only possible in close cooperations – Small, reasonably stable group – Common interests or authorities Not possible in the Web or on a broad scale in general ! Steffen Staab (5) ISWeb – Informationssysteme & Semantic Web Meaning of Informationen: (or: what it means to be a computer) name education CV work private Steffen Staab (6) ISWeb – Informationssysteme & Semantic Web XML ≠ Meaning, XML = Structure < name ναµε > <<εδυχατιον education > < CVΧς >> <<ωορκ work >> <<πριϖατε private >> Steffen Staab (7) ISWeb – Informationssysteme & Semantic Web Some Principal Ideas • URI – uniform resource identifiers • XML – common syntax • Interlinked Tim Berners- Lee, Weaving • Layers of semantics – the Web from database to knowledge base to proofs Design principles of WWW applied to Semantics!! Steffen Staab (8) ISWeb – Informationssysteme & Semantic Web TheSemanticWeb on oneSlide cooperatesWithcooperatesWith Ontology rdfs:Domain rdfs:Range PersonPerson rdfs:subClass EmployeeEmployee rdfs:subClass rdfs:subClass PostDocPostDoc ProfessorProfessor rdf:type rdf:type <swrc:PostDoc rdf:ID="person_sha"> <swrc:Professor <swrc:name>Siegfried Handschuh</swrc:name> rdf:ID="person_sst"> <swrc:name>Steffen Staab Meta- <swrc:cooperatesWith rdf:resource = </swrc:name> "http://www.uni-koblenz.de/~staab/ data #person_sst"/> ... </swrc:Professor> ... </swrc:PostDoc> swrc:cooperatesWith Web page Steffen Staab (9) URL http://www.deri.ie/~shaISWeb – Informationssysteme & Semantic Webhttp://www.uni-koblenz.de/~staab The Semantic
Load more

Recommended publications
  • D6.3.1 First Implementation of Critical Infrastructure Components
    NeOn-project.org NeOn: Lifecycle Support for Networked Ontologies Integrated Project (IST-2005-027595) Priority: IST-2004-2.4.7 – “Semantic-based knowledge and content systems” D6.3.1 First Implementation of critical Infrastructure Components Deliverable Co-ordinator: Moritz Weiten Deliverable Co-ordinating Institution: ontoprise GmbH (onto) Other Authors: Michael Erdmann (ontoprise) The NeOn toolkit constitutes together with the ontology repository and registry the NeOn infrastructure. The purpose of the toolkit is to allow users to create ontologies in a networked way, i.e. with lifecycle support and means to enable distributed and collaborative modelling. As a starting point for the NeOn toolkit we present the ontology development environment OntoStudioÒ which is based on the Eclipse platform. Eclipse is a very flexible and extensible framework and very well suited to host the multitude of features that will be developed within the NeOn toolkit for networked ontologies. Document Identifier: NEON/2007/D6.3.1/v1.1 Date due: February 28th 2007 Class Deliverable: NEON EU-IST-2005-027595 Submission date: March 30, 2007 Project start date: March 1, 2006 Version: v1.1 Project duration: 4 years State: Final Distribution: Restricted D6.3.1 First Implementation of critical Infrastructure Components Page 1 of 27 NeOn Consortium This document is part of a research project funded by the IST Programme of the Commission of the European Communities, grant number IST-2005-027595. The following partners are involved in the project: Open University (OU)
    [Show full text]
  • F-Logic#: Loosely Coupling F-Logic Rules and Ontologies⋆
    F-Logic#: Loosely Coupling F-Logic Rules and Ontologies⋆ Stijn Heymans1, Roman Korf2, Michael Erdmann2,Jorg¨ Puhrer¨ 1, and Thomas Eiter1 1 Knowledge-Based Systems Group, Institute of Information Systems Vienna University of Technology Favoritenstrasse 9-11, A-1040 Vienna, Austria {heymans,puehrer,eiter}@kr.tuwien.ac.at 2 ontoprise GmbH An der RaumFabrik 29, D-76227 Karlsruhe, Germany {korf,erdmann}@ontoprise.de Abstract. Although F-Logic rules received considerable attention in the devel- opment of the W3C’s Rule Interchange Format (RIF), they have not been studied in the context of integrating rules with Description Logic ontologies. This paper makes steps in mending this by defining F-Logic# knowledge bases, a frame- work that provides a loosely coupled approach to integrating F-Logic rules and ontologies by allowing rules to query the ontology using external atoms. We investigate the semantical properties of this framework and define a strati- fied fragment that allows for fast reasoning – a necessity on a Web with large amounts of data. We define the corresponding RIF dialect for F-Logic#, thus set- ting it firmly in a Web context. Finally, we show how to extend the F-Logic rule engine OntoBroker towards reasoning with F-Logic#, enabling as such a first commercial implementation for loosely coupled ontologies and rules. 1 Introduction How to combine ontologies and rules is by now well-investigated theoretically with tightly-coupled approaches such as Description Logic Programs [12, 18]3, DL-safe rules [19], r-hybrid knowledge bases [26], DL+log [25], and Description Logic Rules [16], as well as loosely coupled approaches such as dl-programs [9].
    [Show full text]
  • List of Abbreviations
    List of Abbreviations AI Artificial Intelligence AJAX Asynchronous JavaScript And XML API Application Programming Interface AUI Abstract User Interface] BFO Basic Formal Ontology BMBF Bundesministerium fur¨ Bildung und Forschung (German Federal Ministry of Education and Research) BPEL Business Process Execution Language CAB Composite UI Application Block CCT Concur[rent] Task Trees CIDL Component Interface Description Language COM Component Object Model CSS Cascading Style Sheet CUI Concrete User Interface DIG DL Implementation Group DAML DARPA Markup Language DARPA Defense Advanced Research Projects Agency DHTML Dynamic HTML DOLCE Descriptive Ontology for Linguistic and Cognitive Engineering DL Description Logics DnS Descriptions and Situations DTD Document Type Definition EBNF Extended Backus Naur Form ECA Event Condition Action EMF Eclipse Modeling Framework EMML Enterprise Mashup Markup Language ER Entity Relationship F-Logic Frame Logic FOAF Friend of a Friend GFO General Formal Ontology HCI Human Computer Interaction H. Paulheim, Ontology-based Application Integration, 235 DOI 10.1007/978-1-4614-1430-8, © Springer Science+Business Media, LLC 2011 236 List of Abbreviations HTML HyperText Markup Language HTTP HyperText Transport Protocol ISO International Organization for Standardization JavaCC Java Compiler Compiler JDIC Java Desktop Integration Components JSF Java Server Faces JNI Java Native Interface JRON JavaScript RDF Object Notation JSON JavaScript Object Notation JSP Java Server Pages JSR Java Specification Request JQL Java Query Language KIF Knowledge Interchange Format LINQ Language Integrated Query LISP List Processing LZX The XML based language used in OpenLaszlo; a resolution of the abbrevia- tion is not given. MARIA Model-based lAnguage foR Interactive Applications MDA Model Driven Architecture MDL MashArt Description Language MXML The XML based language used in Adobe Flex; it is likely that it originally stands for Macromedia XML.
    [Show full text]
  • Exploiting Linked Open Data for Enhancing Mediawiki-Based Semantic Organizational Knowledge Bases
    Exploiting Linked Open Data for Enhancing MediaWiki-based Semantic Organizational Knowledge Bases Matthias Frank1 and Stefan Zander2 1FZI Research Center for Information Technology, Haid-und-Neu-Str. 10-14, Karlsruhe, Germany 2Fachbereich Informatik, Hochschule Darmstadt, Darmstadt, Germany Keywords: Linked Open Data, Semantic Web, Wiki Systems, Knowledge Engineering. Abstract: One of the main driving forces for the integration of Semantic Media Wiki systems in corporate contexts is their query construction capabilities on top of organization-specific vocabularies together with the possi- bility to directly embed query results in wiki pages. However, exploiting knowledge from external sources like other organizational knowledge bases or Linked Open Data as well as sharing knowledge in a meaning- ful way is difficult due to the lack of a common and shared schema definition. In this paper, we introduce Linked Data Wiki (LD-Wiki), an approach that combines the power of Linked Open Vocabularies and Data with established organizational semantic wiki systems for knowledge management. It supports suggestions for annotations from Linked Open Data sources for organizational knowledge bases in order to enrich them with background information from Linked Open Data. The inclusion of potentially uncertain, incomplete, inconsistent or redundant Linked Open Data within an organization’s knowledge base poses the challenge of interpreting such data correctly within the respective context. In our approach, we evaluate data provenance information in order to
    [Show full text]
  • Creating Ontology-Based Metadata by Annotation for the Semantic Web
    Zur Erlangung des akademischen Grades eines Doktors der Wirtschaftswissenschaften (Dr. rer. pol.) von der Fakult¨at f¨ur Wirtschaftswissenschaften der Universit¨at Fridericiana zu Karlsruhe genehmigte Dissertation. Creating Ontology-based Metadata by Annotation for the Semantic Web von Dipl.-Ing.(FH), Dipl.-Inf.wiss. Siegfried Handschuh Tag der m¨undlichen Pr¨ufung: 16. Februar 2005 Referent: Prof. Dr. Rudi Studer Korreferent: Prof. Dr. Christof Weinhardt To my family. Acknowledgements I would like to thank people that supported me during the process of researching and writing this thesis. First of all, I would like to express my gratitude to my advisor, Prof. Dr. Rudi Studer, for his support, patience, and encouragement throughout my PhD studies at the Institute AIFB at the University of Karlsruhe. I am also grateful to Prof. Dr. Christof Weinhardt on my dissertation committee, and to Prof. Dr. Andreas Oberweis, who served on the examination committee. My work very much profited from working with Prof. Dr. Steffen Staab. I learned a lot from him, he inspiried me with his ideas and he significantly improved my scientific skills, e.g. by teaching me how to successfully write papers. He and Prof. Dr. Gerd Stumme gave me invaluable advice on organizing research workshops. My thanks also goes to all my colleagues in Karlsruhe at the Institute AIFB, the FZI and Ontoprise GmbH for providing a very fruitful and stimulating working atmosphere. In particular to Philipp Cimiano, Nenad and Ljiljana Stojanovic, Sudhir Agarwal and Alexander M¨adche. I’m especially indebted to Dr. Stefan Decker, for taking me on board his Onto- Agents project and the DARPA DAML program, which funded my work on semantic annotation.
    [Show full text]
  • Ontology-Based Information Integration in the Automotive Industry
    Ontology-Based Information Integration in the Automotive Industry Andreas Maier1, Hans-Peter Schnurr1, and York Sure2 1 Ontoprise GmbH, Karlsruhe, Germany {maier,schnurr}@ontoprise.de http://www.ontoprise.de 2 Institute AIFB, University of Karlsruhe, Germany [email protected] http://www.aifb.uni-karlsruhe.de/WBS/ Abstract. Information integration is still one of today’s hottest IT top- ics. Neither merging the information from different data sources nor preparing it for the end user’s access has been completely solved. The goal of this paper is to present a holistic approach to integration by us- ing ontologies and logic. There are several reasons for an ontology-based approach: Ontologies are able to cover all occurring data structures, for ontologies can be seen as nowadays most advanced knowledge representa- tion model. They are able to cover complexity, for the combination with deductive logic extends the mapping and business logic capabilities. As the model is separated from the data storage, we get a higher degree of abstraction, whereby the semantics of the whole system is increased. On- tologies are extendible and highly reusable and deliver the user a better access to his relevant content. In this paper we describe how current capabilities of knowledge repre- sentation, mapping of structures and description of the business logic are extended. In an elaborated case study of a specific R&D process in the automobile industry [Ste03] we demonstrate that the complex inte- gration process can be realized much easier, faster, more understandable and less expensive than before, without changing the existing IT legacy environment.
    [Show full text]
  • Neon-Project.Org
    NeOn-project.org NeOn: Lifecycle Support for Networked Ontologies Integrated Project (IST-2005-027595) Priority: IST-2004-2.4.7 – Semantic-based knowledge and content systems D 7.4.1 Software architecture for managing the Fisheries ontologies lifecycle Deliverable Co-ordinator: Óscar Muñoz-García (UPM), Soonho Kim (FAO) Deliverable Co-ordinating Institution: UPM Other Authors: Soonho Kim, Marta Iglesias Sucasas, Caterina Caracciolo, Andrew Bagdanov (FAO); Yimin Wang, Peter Haase (UKARL); Óscar Muñoz-García, María-del-Carmen Suárez- Figueroa, Asunción Gómez-Pérez (UPM); Document identifier: NEON/2007/D 7.4.1/v1.0 Date due: August 31, 2007 Class deliverable: NEON EU-IST-2005-027595 Submission date: August 31, 2007 Project start date: March 1, 2006 Version: v1.0 Project duration: 4 years State: final Distribution: Public 2006–2007 © Copyright lies with the respective authors and their institutions. D 7.4.1 Software architecture for managing the Fisheries ontologies lifecycle Page 2 of 143 NeOn Consortium This document is a part of the NeOn research project funded by the IST Programme of the Commission of the European Communities by the grant number IST-2005-027595. The following partners are involved in the project: Open University (OU) – Coordinator Universität Karlsruhe – TH (UKARL) Knowledge Media Institute – KMi Institut für Angewandte Informatik und Formale Berrill Building, Walton Hall Beschreibungsverfahren – AIFB Milton Keynes, MK7 6AA Englerstrasse 28 United Kingdom D-76128 Karlsruhe, Germany Contact person: Martin Dzbor, Enrico Motta Contact person: Peter Haase E-mail address: {m.dzbor, e.motta} @open.ac.uk E-mail address: [email protected] Universidad Politécnica de Madrid (UPM) Software AG (SAG) Campus de Montegancedo Uhlandstrasse 12 28660 Boadilla del Monte 64297 Darmstadt Spain Germany Contact person: Asunción Gómez Pérez Contact person: Walter Waterfeld E-mail address: [email protected] E-mail address: [email protected] Intelligent Software Components S.A.
    [Show full text]
  • Fact Sheet Semantic
    Knowledge Technology Fact Sheet Semantic Web What is the Semantic Web? “The Semantic Web is an extension of the current web in which information is given well-defined meaning, better enabling computers and people to work in cooperation”1. The key enabler of the Semantic Web is the need of many communities to put machine-understandable data on the Web which can be shared and processed by automated tools as well as by people. Machines should not just be able to display data, but rather be able to use it for automation, integration and reuse across various applications. The European Commission is funding numerous projects related to Ontologies and the Semantic Web; even more will be funded in its recently launched Sixth Framework Research Programme. The worldwide Semantic Web community is growing rather fast and forces are being joined with other technology developments such as Web Services or multimedia. Last, but not least, vendors are already offering mature products and solutions based on semantic technologies. Thus, the Semantic Web is currently moving from being a vision to becoming reality. How could the Semantic Web look like? Even worse: “How would you explain the Semantic Web to your grandparents?” Answering this question is the challenge for participants of the Semantic Web Challenge2. Out of 10 participants the winners of the Challenge 2003 have been presented at the 2nd International Semantic Web Conference3. It might be questionable whether grandparents would understand the aim of the winning application, viz. that it “combines information from multiple heterogeneous sources, such as published RDF sources, personal web pages, and data bases in order to provide an integrated view of this multidimensional space”4.
    [Show full text]
  • Description Logic Programs: a Practical Choice for the Modelling of Ontologies
    Wright State University CORE Scholar Computer Science and Engineering Faculty Publications Computer Science & Engineering 6-1-2005 Description Logic Programs: A Practical Choice For the Modelling of Ontologies Rudi Studer York Sure Pascal Hitzler [email protected] Follow this and additional works at: https://corescholar.libraries.wright.edu/cse Part of the Bioinformatics Commons, Communication Technology and New Media Commons, Databases and Information Systems Commons, OS and Networks Commons, and the Science and Technology Studies Commons Repository Citation Studer, R., Sure, Y., & Hitzler, P. (2005). Description Logic Programs: A Practical Choice For the Modelling of Ontologies. https://corescholar.libraries.wright.edu/cse/111 This Article is brought to you for free and open access by Wright State University’s CORE Scholar. It has been accepted for inclusion in Computer Science and Engineering Faculty Publications by an authorized administrator of CORE Scholar. For more information, please contact [email protected]. Description Logic Programs: A Practical Choice For the Modelling of Ontologies∗ Pascal Hitzler1, Rudi Studer1,2,3, York Sure1 1 AIFB, University of Karlsruhe 2 FZI, Karlsruhe 3 Ontoprise GmbH, Karlsruhe Abstract Knowledge representation using ontologies constitutes the heart of semantic technologies. Despite successful standardization efforts by the W3C, however, there are still numerous different ontology representation languages being used, and interoperability between them is in general not given. The problem is aggrevated by the fact that current standards lay foundations only and are well-known to be insufficient for the modelling of finer details. Thus, a plethora of extensions of the basic languages is being proposed, rendering the picture of ontology representation languages to be chaotic, to say the least.
    [Show full text]
  • Talk-Aaai13-Rules-Tutorial.Pdf
    Version of 7/15/2013 WELCOME! to the AAAI-13 Tutorial (7/15/2013) Semantic Web Rules: Fundamentals, Applications, and Standards presented by Benjamin Grosof*; also authored by Michael Kifer** and Mike Dean*** * Benjamin Grosof & Associates, and Coherent Knowledge Systems ** Stony Brook University, and Coherent Knowledge Systems *** Raytheon BBN Technologies INSTRUCTIONS! All participants, please: (as the tutorial session starts) - Download the tutorial slideset at : http://www.mit.edu/~bgrosof/#AAAI13RulesTutorial - Sign in on the participants list (hard copy sheet) with your name, organization, email; optionally also add your interests, homepage URL Version of 7/15/2013 © Copyright 2013 by Benjamin Grosof, Michael Kifer, and Mike Dean. All rights reserved. 1 PART A. SLIDES FOLLOW 2 Learning Goals for Tutorial 1. Overview of current state of logical KR theory, applications, languages, standards, tools/systems, market 2. Relationship to Web and Semantic Tech, overall 3. Introduction to the research issues 3 Top-Level Outline of Tutorial – A. Introduction, Overview, and Uses – B. Concepts and Foundations – C. Conclusions and Directions – + Appendix 1: References and Resources – + Appendix 2: More about Use Cases – Background Assumed: • basic knowledge of first-order logic, relational databases, XML, RDF 4 Rough Schedule, Overall ~14:00-14:45 Part A: Intro & Uses ~14:45-15:45 Part B: Concepts & Foundations ~15:45-16:15 Coffee Break ~16:15-17:40 Part B, continued: Concepts & Foundations ~17:40-18:00 Part C: Conclusions & Directions 5 Outline of Part A. Intro & Uses 1. Overview of tutorial, and get acquainted 2. What are: Rules on the Web, Semantic Rules/Web/Tech 3. Uses and Kinds of rules Commercial, web.
    [Show full text]
  • D1.1.2: Networked Ontology Model
    1 NeOn-project.org NeOn: Lifecycle Support for Networked Ontologies Integrated Project (IST-2005-027595) Priority: IST-2004-2.4.7 — “Semantic-based knowledge and content systems” D1.1.2 Updated Version of the Networked Ontology Model Deliverable Co-ordinator: Peter Haase Deliverable Co-ordinating Institution: Universität Karlsruhe (TH) (UKARL) Other Authors: Saartje Brockmans (UKARL), Raul Palma (UPM), Jérôme Euzenat (INRIA), Mathieu d’Aquin (OU) Document Identifier: NEON/2007/D1.1.2/1.0 Date due: 31.08.2007 Class Deliverable: NEON EU-IST-2005-027595 Submission date: 31.08.2007 Project start date March 1, 2006 Version: 1.0 Project duration: 4 years State: Final Distribution: Public Page 2 of 159 NeOn Integrated Project EU-IST-027595 NeOn Consortium This document is part of the NeOn research project funded by the IST Programme of the Commission of the European Communities by the grant number IST-2005-027595. The following partners are involved in the project: Open University (OU) – Coordinator Universität Karlsruhe – TH (UKARL) Knowledge Media Institute – KMi Institut für Angewandte Informatik und Formale Berrill Building, Walton Hall Beschreibungsverfahren – AIFB Milton Keynes, MK7 6AA D-76128 Karlsruhe United Kingdom Germany Contact person: Martin Dzbor, Enrico Motta Contact person: Peter Haase E-mail address: {m.dzbor, e.motta}@open.ac.uk E-mail address: [email protected] Universidad Politécnica de Madrid (UPM) Software AG (SAG) Campus de Montegancedo Uhlandstrasse 12 28660 Boadilla del Monte 64297 Darmstadt Spain Germany Contact person: Asunción Gómez Pérez Contact person: Walter Waterfeld E-mail address: asun@fi.ump.es E-mail address: [email protected] Intelligent Software Components S.A.
    [Show full text]
  • D4.2.1 State-Of-The-Art Survey on Ontology Merging and Aligning V1
    EU-IST Integrated Project (IP) IST-2003-506826 SEKT SEKT: Semantically Enabled Knowledge Technologies D4.2.1 State-of-the-art survey on Ontology Merging and Aligning V1 Jos de Bruijn (DERI) Francisco Mart´ın-Recuerda (DERI) Dimitar Manov (SIRMA) Marc Ehrig (UKARL) Abstract. EU-IST Integrated Project (IP) IST-2003-506826 SEKT Deliverable D4.2.1 (WP4) This deliverable contains a comprehensive state-of-the-art survey on Ontology Merging and Aligning methods, tools and specification languages. Keyword list: Ontology Mediation, state-of-the-art survey, ontology merging, ontology aligning, ontology mapping WP4: Ontology Mediation Nature of the Deliverable: Report Dissemination level: PU Contractual date of delivery: 2004-06-30 Actual date of delivery: 2004-07-22 Copyright °c 2004 Digital Enterprise Research Institute, University of Innsbruck SEKT Consortium This document is part of a research project partially funded by the IST Programme of the Commission of the European Communities as project number IST-2003-506826. British Telecommunications plc. Empolis GmbH Orion 5/12, Adastral Park Europaallee 10 Ipswich IP5 3RE 67657 Kaiserslautern UK Germany Tel: +44 1473 609583, Fax: +44 1473 609832 Tel: +49 631 303 5540, Fax: +49 631 303 5507 Contactperson: John Davies Contactperson: Ralph Traphoner¨ E-mail: [email protected] E-mail: [email protected] Jozef Stefan Institute University of Karlsruhe, Institute AIFB Jamova 39 Englerstr. 28 1000 Ljubljana D-76128 Karlsruhe Slovenia Germany Tel: +386 1 4773 778, Fax: +386 1 4251 038 Tel: +49 721 608 6592, Fax: +49 721 608 6580 Contactperson: Marko Grobelnik Contactperson: York Sure E-mail: [email protected] E-mail: [email protected] University of Sheffield University of Innsbruck Department of Computer Science Institute of Computer Science Regent Court, 211 Portobello St.
    [Show full text]