Knowledge Representation. Apache Jena Part II. Jan Pettersen Nytun, UiA
|
|
- Ronald Weaver
- 6 years ago
- Views:
Transcription
1 Knowledge Representation Apache Jena Part II Jan Pettersen Nytun, UiA 1
2 P S O This presentation is based on: Jena Ontology API Jan Pettersen Nytun, UIA, page 2
3 Jena is fundamentally an RDF platform, limited to ontology formalisms built on top of RDF. this means RDFS, the varieties of OWL. 3
4 The OWL language is sub-divided into three syntax classes: OWL Lite, OWL DL and OWL Full. [Wikipedia]: Every legal OWL Lite ontology is a legal OWL DL ontology. Every legal OWL DL ontology is a legal OWL Full ontology. 4
5 [Wikipedia]: OWL Lite intended to support those users primarily needing a classification hierarchy and simple constraints Development of OWL Lite tools has proven almost as difficult as development of tools for OWL DL, and OWL Lite is not widely used. 5
6 [Wikipedia]: OWL DL is designed to provide the maximum expressiveness possible while retaining computational completeness, decidability, and the availability of practical reasoning algorithms. OWL DL includes all OWL language constructs, but they can be used only under certain restrictions 6
7 P S O [ the-difference-between-soundness-and-completeness] Soundness is the property of only being able to prove "true" things. Completeness is the property of being able to prove all true things. So a given logical system is sound if and only if the inference rules of the system admit only valid formulas. Or another way, if we start with valid premises, the inference rules do not allow an invalid conclusion to be drawn. A system is complete if and only if all valid formula can be derived from the axioms and the inference rules. So there are no valid formula that we can't prove. Together they imply that all and only validities are provable. Jan Pettersen Nytun, UIA, page 7
8 P S O Decidability [Wikipedia]: The logically valid formulas of a system are sometimes called the theorems of the system, A logical system is decidable if there is an effective method for determining whether arbitrary formulas are theorems of the logical system. Jan Pettersen Nytun, UIA, page 8
9 P S O Gödel's incompleteness theorem [Wikipedia]: Recursively axiomatizable first-order theories that are rich enough to allow general mathematical reasoning to be formulated cannot be complete, as demonstrated by Gödel's incompleteness theorem. For any such system, there will always be statements about the natural numbers that are true, but that are unprovable within the system. Jan Pettersen Nytun, UIA, page 9
10 [Wikipedia]: OWL Full[edit] a class can be treated simultaneously as a collection of individuals and as an individual in its own right... OWL Full allows an ontology to augment the meaning of the pre-defined (RDF or OWL) vocabulary. OWL Full is undecidable, so no reasoning software is able to perform complete reasoning for it. 10
11 P S O Jena Graph Interface Graph is an internal Jena interface that supports the composition of sets of RDF triples. The asserted statements, which may have been read in from an ontology document, are held in the base graph. Jan Pettersen Nytun, UIA, page 11
12 P S O The reasoner, or inference engine, can use the contents of the base graph and the semantic rules of the language to show a more complete set of base and entailed triples. This is also presented via a Graph interface, so the OntModel works only with the outermost interface. Jan Pettersen Nytun, UIA, page 12
13 P S O The base graph can be an inmemory store, a databasebacked persistent store, or some other storage structure altogether Jan Pettersen Nytun, UIA, page 13
14 P S O Creating Ontology Models OntModel m = ModelFactory.createOntologyModel(); This will create an ontology model with the default settings: OWL-Full language in-memory storage RDFS inference, which principally produces entailments from the sub-class and subproperty hierarchies. Jan Pettersen Nytun, UIA, page 14
15 P S O In many applications, such as driving a GUI, RDFS inference is too strong. An OWL model that performs no reasoning at all can be created with: OntModel m = ModelFactory.createOntologyModel( OntModelSpec.OWL_MEM ); Jan Pettersen Nytun, UIA, page 15
16 P S O Jan Pettersen Nytun, UIA, page 16
17 P S O Testing Reasoning in Jena Input : rdf: owl: xml: xsd: rdfs: < :hasapprovedid a owl:datatypeproperty ; rdfs:subpropertyof :hassomeid. :hassomeid a owl:datatypeproperty. :hashusband a owl:objectproperty ; owl:inverseof :haswife. :haswife a owl:objectproperty. :Man a owl:class ; rdfs:subclassof :Human. :Woman a owl:class ; rdfs:subclassof :Human. :Human a owl:class. :Homer a owl:namedindividual, :Man ; :hassomeid "Homer_ID1_SomeID". :Marge a owl:namedindividual, :Woman ; :hasapprovedid "Marge_ID1_Approved" ; :hashusband :Homer. Jan Pettersen Nytun, UIA, page 17
18 P S O Testing Reasoning in Jena Application Heading package testreasoners; import java.io.filenotfoundexception; import java.io.fileoutputstream; import java.io.inputstream; import java.io.outputstream; import java.util.arraylist; import java.util.collections; import java.util.list; import org.apache.jena.ontology.ontmodel; import org.apache.jena.ontology.ontmodelspec; import org.apache.jena.rdf.model.model; import org.apache.jena.rdf.model.modelfactory; import org.apache.jena.rdf.model.property; import org.apache.jena.rdf.model.rdfnode; import org.apache.jena.rdf.model.resource; import org.apache.jena.rdf.model.statement; import org.apache.jena.rdf.model.stmtiterator; import org.apache.jena.util.filemanager; Jan Pettersen Nytun, UIA, page 18
19 P S O Testing Reasoning in Jena Method Overview public class TestReasoners { private static String inputfilename = "InferenceTest InputFile.ttl"; private static String outputfilename = "InferenceTest OutputFile.ttl"; public static void main(string[] args){ } public static List<String> getsortedtriples(model model){ } public static OntModel readfile(ontmodelspec ontmodelspec){ } } Jan Pettersen Nytun, UIA, page 19
20 P S O Testing Reasoning in Jena readfile - Method public static OntModel readfile(ontmodelspec ontmodelspec){ OntModel ontmodel = ModelFactory.createOntologyModel(ontModelSpec); InputStream in = FileManager.get().open( inputfilename ); if (in == null) { System.out.println("File: " + inputfilename + " not found"); System.exit(1); } // read the Turtle file ontmodel.read(in, null, "Turtle"); //ontmodel.write(system.out, "Turtle"); return ontmodel; } Jan Pettersen Nytun, UIA, page 20
21 P S O Testing Reasoning in Jena getsortedtriples- Method public static List<String> getsortedtriples(model model){ List<String> triples = new ArrayList<String>(); StmtIterator iter = model.liststatements(); String format = "%-20s"; String defaultnamespace = model.getnsprefixmap().get(""); if (defaultnamespace == null) return triples; Jan Pettersen Nytun, UIA, page 21
22 while (iter.hasnext()) { Statement stmt = iter.nextstatement(); // get next statement Resource subject = stmt.getsubject(); // get the subject String namespace = subject.getnamespace(); if (namespace == null!namespace.equals(defaultnamespace)) continue; Property predicate = stmt.getpredicate(); // get the predicate RDFNode object = stmt.getobject(); // get the object String tripleasstring = String.format(format, subject.getlocalname().tostring()); tripleasstring = tripleasstring + String.format(format, predicate.getlocalname().tostring()); if (object instanceof Resource) { tripleasstring = tripleasstring + object.asresource().getlocalname().tostring() + "."; } else { // object is a literal tripleasstring = tripleasstring + " \"" + object.tostring() + "\"" + "."; } triples.add(tripleasstring); } Collections.sort(triples); return triples; } Jan Pettersen Nytun, UIA, page 22
23 P S O public static void main(string[] args){ OntModel model_owl_dl_mem = readfile(ontmodelspec.owl_dl_mem); List<String> triples_owl_dl_mem = getsortedtriples(model_owl_dl_mem); System.out.println("Triple found in model_owl_dl_mem"); System.out.println("..."); for (String onetriple : triples_owl_dl_mem) System.out.println(oneTriple); System.out.println("...\n"); model_owl_dl_mem.close(); Jan Pettersen Nytun, UIA, page 23
24 Triple found in model_owl_dl_mem... Homer hassomeid "Homer_ID1_SomeID". Homer type Man. Homer type NamedIndividual. Human type Class. Man subclassof Human. Man type Class. Marge hasapprovedid "Marge_ID1_Approved". Marge hashusband Homer. Marge type NamedIndividual. Marge type Woman. Woman subclassof Human. Woman type Class. hasapprovedid subpropertyof hassomeid. hasapprovedid type DatatypeProperty. hashusband inverseof haswife. hashusband type ObjectProperty. hassomeid type DatatypeProperty. haswife type ObjectProperty....
25 OntModel model_owl_dl_mem_rdfs_inf = readfile(ontmodelspec.owl_dl_mem_rdfs_inf); List<String> triples_owl_dl_mem_rdfs_inf = getsortedtriples(model_owl_dl_mem_rdfs_inf); System.out.println("Triple found in model_owl_dl_mem_rdfs_inf"); System.out.println("..."); for (String onetriple : triples_owl_dl_mem_rdfs_inf) { System.out.println(oneTriple); } System.out.println("...\n"); model_owl_dl_mem_rdfs_inf.close(); Jan Pettersen Nytun, UIA, page 25
26 Triple found in model_owl_dl_mem_rdfs_inf... Homer hassomeid "Homer_ID1_SomeID". Homer type Human. Homer type Man. Homer type NamedIndividual. Human subclassof Human. Human type Class. Human type Class. Human type Resource. Man subclassof Human. Man subclassof Man. Man type Class. Man type Class. Man type Resource. Marge hasapprovedid "Marge_ID1_Approved". Marge hashusband Homer. Marge hassomeid "Marge_ID1_Approved". Marge type Human. Marge type NamedIndividual. Marge type Woman.
27 Woman subclassof Human. Woman subclassof Woman. Woman type Class. Woman type Class. Woman type Resource. hasapprovedid subpropertyof hasapprovedid. hasapprovedid subpropertyof hassomeid. hasapprovedid type DatatypeProperty. hasapprovedid type Property. hasapprovedid type Resource. hashusband inverseof haswife. hashusband type ObjectProperty. hassomeid subpropertyof hassomeid. hassomeid type DatatypeProperty. hassomeid type Property. hassomeid type Resource. haswife type ObjectProperty.... Jan Pettersen Nytun, UIA, page 27
28 OntModel model_owl_dl_mem_rule_inf = readfile(ontmodelspec.owl_dl_mem_rule_inf); List<String> triples_owl_dl_mem_rule_inf = getsortedtriples(model_owl_dl_mem_rule_inf); System.out.println("Triple found in model_owl_dl_mem_rule_inf"); System.out.println("..."); for (String onetriple : triples_owl_dl_mem_rule_inf) System.out.println(oneTriple); System.out.println("...\n"); try { OutputStream outfile = new FileOutputStream(outputFileName); model_owl_dl_mem_rule_inf.write(outfile,"turtle"); } catch (FileNotFoundException e) { e.printstacktrace(); } model_owl_dl_mem_rule_inf.close(); } Jan Pettersen Nytun, UIA, page 28
29 Triple found in model_owl_dl_mem_rule_inf... Homer hassomeid "Homer_ID1_SomeID". Homer haswife Marge. Homer sameas Homer. Homer type Human. Homer type Man. Homer type NamedIndividual. Homer type Resource. Homer type Thing. Human equivalentclass Human. Human subclassof Human. Human subclassof Resource. Human subclassof Thing. Human type Class. Human type Class. Human type Resource. Jan Pettersen Nytun, UIA, page 29
30 Man equivalentclass Man. Man subclassof Human. Man subclassof Man. Man subclassof Resource. Man subclassof Thing. Man type Class. Man type Class. Man type Resource. Marge hasapprovedid "Marge_ID1_Approved". Marge hashusband Homer. Marge hassomeid "Marge_ID1_Approved". Marge sameas Marge. Marge type Human. Marge type NamedIndividual. Marge type Resource. Marge type Thing. Marge type Woman. Jan Pettersen Nytun, UIA, page 30
31 Woman equivalentclass Woman. Woman subclassof Human. Woman subclassof Resource. Woman subclassof Thing. Woman subclassof Woman. Woman type Class. Woman type Class. Woman type Resource. hasapprovedid subpropertyof hasapprovedid. hasapprovedid subpropertyof hassomeid. hasapprovedid type DatatypeProperty. hasapprovedid type Property. hasapprovedid type Resource. Jan Pettersen Nytun, UIA, page 31
32 hashusband domain Resource. hashusband domain Thing. hashusband inverseof haswife. hashusband range Resource. hashusband range Thing. hashusband subpropertyof hashusband. hashusband type ObjectProperty. hashusband type Property. hashusband type Resource. hassomeid subpropertyof hassomeid. hassomeid type DatatypeProperty. hassomeid type Property. hassomeid type Resource. Jan Pettersen Nytun, UIA, page 32
33 haswife domain Resource. haswife domain Thing. haswife inverseof hashusband. haswife range Resource. haswife range Thing. haswife subpropertyof haswife. haswife type ObjectProperty. haswife type Property. haswife type Resource.... Jan Pettersen Nytun, UIA, page 33
Knowledge Representation XII IKT437 Apache Jena Part III Div
Knowledge Representation XII IKT437 Apache Jena Part III Div Jan Pettersen Nytun, UiA 1 P S O Example 1 Jan Pettersen Nytun, UIA, page 2 P S O Ancestor An ancestor is a parent or recursively the parent
More informationKnowledge Representation RDF Turtle Namespace
Knowledge Representation RDF Turtle Namespace Jan Pettersen Nytun, UiA 1 URIs Identify Web Resources Web addresses are the most common URIs, i.e., uniform Resource Locators (URLs). RDF resources are usually
More informationContributed by Tong Zhao
Chapter 1 Apache Jena Contributed by Tong Zhao 1.1 Background Apache Jena [3] is a free and open source Java specifically for building Semantic Web and Linked Data applications. Apache Jena provides an
More informationComparison of Semantic Web serialization syntaxes
Comparison of Semantic Web serialization syntaxes Tony Mallia Edmond Scientific 7 March 2015 Introduction This is the comparison of serialization syntaxes supported by Protégé. The sample contains two
More informationReasoning with Rules SWRL as Example. Jan Pettersen Nytun, UIA
Reasoning with Rules SWRL as Example Jan Pettersen Nytun, UIA 1 JPN, UiA 2 What is a rule? Consist of premise and a conclusion. Meaning: In any situation where the premise applies the conclusion must also
More informationKnowledge Representation VII - IKT507. SPARQL stands for SPARQL Protocol And RDF Query Language
Knowledge Representation VII - IKT507 This sentence is false! PARQL stands for PARQL Protocol And RDF Query Language Jan Pettersen Nytun, UiA 1 The emantic Web tack Hierarchy of languages, where each layer
More informationSemantic Web Technologies: Web Ontology Language
Semantic Web Technologies: Web Ontology Language Motivation OWL Formal Semantic OWL Synopsis OWL Programming Introduction XML / XML Schema provides a portable framework for defining a syntax RDF forms
More informationINF3580/4580 Semantic Technologies Spring 2017
INF3580/4580 Semantic Technologies Spring 2017 Lecture 10: OWL, the Web Ontology Language Leif Harald Karlsen 20th March 2017 Department of Informatics University of Oslo Reminders Oblig. 5: First deadline
More informationPresented By Aditya R Joshi Neha Purohit
Presented By Aditya R Joshi Neha Purohit Pellet What is Pellet? Pellet is an OWL- DL reasoner Supports nearly all of OWL 1 and OWL 2 Sound and complete reasoner Written in Java and available from http://
More informationINF3580 Semantic Technologies Spring 2012
INF3580 Semantic Technologies Spring 2012 Lecture 10: OWL, the Web Ontology Language Martin G. Skjæveland 20th March 2012 Department of Informatics University of Oslo Outline Reminder: RDFS 1 Reminder:
More informationSPARQL. Part III. Jan Pettersen Nytun, UiA
ARQL Part III Jan Pettersen Nytun, UiA 1 Agenda P Example with: - RDER BY - UM Example continues with: - GRUP BY - GRUP BY together with UM Example continues with: - HAVING - BIND - CNCAT New example with:
More informationOWL a glimpse. OWL a glimpse (2) requirements for ontology languages. requirements for ontology languages
OWL a glimpse OWL Web Ontology Language describes classes, properties and relations among conceptual objects lecture 7: owl - introduction of#27# ece#720,#winter# 12# 2# of#27# OWL a glimpse (2) requirements
More informationSemantic Web. Lecture 12: SW Programming Dr. Knarig Arabshian
Semantic Web Lecture 12: SW Programming Dr. Knarig Arabshian Knarig.arabshian@hofstra.edu Hello Semantic Web World Example Say hello to the Semantic Web Say hello to some friends of the Semantic Web Expand
More informationSimplified Approach for Representing Part-Whole Relations in OWL-DL Ontologies
Simplified Approach for Representing Part-Whole Relations in OWL-DL Ontologies Pace University IEEE BigDataSecurity, 2015 Aug. 24, 2015 Outline Ontology and Knowledge Representation 1 Ontology and Knowledge
More information1 Performance test source code
1 Performance test source code 1.1 Triple store search 3, owlcpp #include #include "boost/filesystem.hpp" #include "boost/foreach.hpp" #include "boost/chrono/chrono.hpp" #include "boost/chrono/chrono_io.hpp"
More informationDescription Logic. Eva Mráková,
Description Logic Eva Mráková, glum@fi.muni.cz Motivation: ontology individuals/objects/instances ElizabethII Philip Philip, Anne constants in FOPL concepts/classes/types Charles Anne Andrew Edward Male,
More informationDeep integration of Python with Semantic Web technologies
Deep integration of Python with Semantic Web technologies Marian Babik, Ladislav Hluchy Intelligent and Knowledge Technologies Group Institute of Informatics, SAS Goals of the presentation Brief introduction
More informationApache Jena Framework. Philippe Genoud Université Joseph Fourier Grenoble (France)
Apache Jena Framework Philippe Genoud Université Joseph Fourier Grenoble (France) (Philippe.Genoud@imag.fr) Astrakhan State University November 2012 1 What is Jena? Introduction An open source semantic
More informationSemantic Web Ontologies
Semantic Web Ontologies CS 431 April 4, 2005 Carl Lagoze Cornell University Acknowledgements: Alun Preece RDF Schemas Declaration of vocabularies classes, properties, and structures defined by a particular
More informationOntological Modeling: Part 15
Ontological Modeling: Part 15 Terry Halpin INTI International University This is the fifteenth article in a series on ontology-based approaches to modeling. The main focus is on popular ontology languages
More informationMain topics: Presenter: Introduction to OWL Protégé, an ontology editor OWL 2 Semantic reasoner Summary TDT OWL
1 TDT4215 Web Intelligence Main topics: Introduction to Web Ontology Language (OWL) Presenter: Stein L. Tomassen 2 Outline Introduction to OWL Protégé, an ontology editor OWL 2 Semantic reasoner Summary
More informationThe OWL API: An Introduction
The OWL API: An Introduction Sean Bechhofer and Nicolas Matentzoglu University of Manchester sean.bechhofer@manchester.ac.uk OWL OWL allows us to describe a domain in terms of: Individuals Particular objects
More information12th ICCRTS. On the Automated Generation of an OWL Ontology based on the Joint C3 Information Exchange Data Model (JC3IEDM)
12th ICCRTS On the Automated Generation of an OWL Ontology based on the Joint C3 Information Exchange Data Model (JC3IEDM) Christopher J. Matheus and Brian Ulicny VIStology, Inc. Framingham, MA, U.S.A.
More informationTable of Contents. iii
Current Web 1 1.1 Current Web History 1 1.2 Current Web Characteristics 2 1.2.1 Current Web Features 2 1.2.2 Current Web Benefits 3 1.2.3. Current Web Applications 3 1.3 Why the Current Web is not Enough
More informationReasoning with the Web Ontology Language (OWL)
Reasoning with the Web Ontology Language (OWL) JESSE WEAVER, PH.D. Fundamental & Computational Sciences Directorate, Senior Research Computer Scientist Discovery 2020 Short Course on Semantic Data Analysis
More informationRDF /RDF-S Providing Framework Support to OWL Ontologies
RDF /RDF-S Providing Framework Support to OWL Ontologies Rajiv Pandey #, Dr.Sanjay Dwivedi * # Amity Institute of information Technology, Amity University Lucknow,India * Dept.Of Computer Science,BBA University
More informationSemantic Web. Tahani Aljehani
Semantic Web Tahani Aljehani Motivation: Example 1 You are interested in SOAP Web architecture Use your favorite search engine to find the articles about SOAP Keywords-based search You'll get lots of information,
More informationBuilding Blocks of Linked Data
Building Blocks of Linked Data Technological foundations Identifiers: URIs Data Model: RDF Terminology and Semantics: RDFS, OWL 23,019,148 People s Republic of China 20,693,000 population located in capital
More informationToday s Plan. 1 Repetition: RDF. 2 Jena: Basic Datastructures. 3 Jena: Inspecting Models. 4 Jena: I/O. 5 Example. 6 Jena: ModelFactory and ModelMaker
Today s Plan INF3580/4580 Semantic Technologies Spring 2017 Lecture 3: Jena A Java Library for RDF Martin Giese 30th January 2017 2 Department of Informatics University of Oslo INF3580/4580 :: Spring 2017
More informationShort notes about OWL 1
University of Rome Tor Vergata Short notes about OWL 1 Manuel Fiorelli fiorelli@info.uniroma2.it [1] this presentation is limited to OWL 1 features. A new version of OWL (OWL 2), which adds further features
More informationModeling LMF compliant lexica in OWL-DL
19 21 June 11th International conference DIN Deutsches Institut für Normung e. V. Modeling LMF compliant lexica in OWL-DL Malek Lhioui 1, Kais Haddar 1 and Laurent Romary 2 1 : Multimedia, InfoRmation
More informationOWL Tutorial. LD4P RareMat / ARTFrame Meeting Columbia University January 11-12, 2018
OWL Tutorial LD4P RareMat / ARTFrame Meeting Columbia University January 11-12, 2018 Outline Goals RDF, RDFS, and OWL Inferencing OWL serializations OWL validation Demo: Building an OWL ontology in Protégé
More informationOntological Modeling: Part 11
Ontological Modeling: Part 11 Terry Halpin LogicBlox and INTI International University This is the eleventh in a series of articles on ontology-based approaches to modeling. The main focus is on popular
More informationBUILDING THE SEMANTIC WEB
BUILDING THE SEMANTIC WEB You might have come across the term Semantic Web Applications often, during talks about the future of Web apps. Check out what this is all about There are two aspects to the possible
More informationToday s Plan. 1 Repetition: RDF. 2 Jena: Basic Datastructures. 3 Jena: Inspecting Models. 4 Jena: I/O. 5 Example. 6 Jena: ModelFactory and ModelMaker
Today s Plan INF3580/4580 Semantic Technologies Spring 2015 Lecture 3: Jena A Java Library for RDF Martin Giese 2nd February 2015 2 Department of Informatics University of Oslo INF3580/4580 :: Spring 2015
More informationMaking BioPAX SPARQL
Making BioPAX SPARQL hands on... start a terminal create a directory jena_workspace, move into that directory download jena.jar (http://tinyurl.com/3vlp7rw) download biopax data (http://www.biopax.org/junk/homosapiens.nt
More informationFHIR RDF Sample side by side comparisons
1 2 FHIR RDF Sample side by side comparisons V10 Tony Mallia 12/1/15 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 Contents 1 Datatypes (section
More informationOrchestrating Music Queries via the Semantic Web
Orchestrating Music Queries via the Semantic Web Milos Vukicevic, John Galletly American University in Bulgaria Blagoevgrad 2700 Bulgaria +359 73 888 466 milossmi@gmail.com, jgalletly@aubg.bg Abstract
More informationWhat is the Semantic Web?
What is the Semantic Web? Sir Tim Berners-Lee's vision of the Web as a universal medium for data, information, and knowledge exchange. An evolving extension of the World Wide Web in which the semantics
More informationWhy Ontologies? RRDIU - Semantic Web 2
Ontologies OWL2 Why Ontologies? 2019-01-21 01RRDIU - Semantic Web 2 Semantics Knowledge Organizazion Systems Term Lists Authority files Glossaries Dictionaries, Vocabularies Gazetteers Classifications
More informationOntological Modeling: Part 14
Ontological Modeling: Part 14 Terry Halpin INTI International University This is the fourteenth in a series of articles on ontology-based approaches to modeling. The main focus is on popular ontology languages
More informationGraphOnto: OWL-Based Ontology Management and Multimedia Annotation in the DS-MIRF Framework
GraphOnto: OWL-Based Management and Multimedia Annotation in the DS-MIRF Framework Panagiotis Polydoros, Chrisa Tsinaraki and Stavros Christodoulakis Lab. Of Distributed Multimedia Information Systems,
More informationFormalising the Semantic Web. (These slides have been written by Axel Polleres, WU Vienna)
Formalising the Semantic Web (These slides have been written by Axel Polleres, WU Vienna) The Semantics of RDF graphs Consider the following RDF data (written in Turtle): @prefix rdfs: .
More informationLogic and Reasoning in the Semantic Web (part I RDF/RDFS)
Logic and Reasoning in the Semantic Web (part I RDF/RDFS) Fulvio Corno, Laura Farinetti Politecnico di Torino Dipartimento di Automatica e Informatica e-lite Research Group http://elite.polito.it Outline
More informationQuerying the Semantic Web
Querying the Semantic Web CSE 595 Semantic Web Instructor: Dr. Paul Fodor Stony Brook University http://www3.cs.stonybrook.edu/~pfodor/courses/cse595.html Lecture Outline SPARQL Infrastructure Basics:
More informationRule based systems in Games
Rule based systems in Games Idea Objects: scenery, objects, pesons Actions Rules RC++ [Ian Wright, James Marshall - RC++: a rule-based language for game AI, 1st International Conference on Intelligent
More informationCSc 8711 Report: OWL API
CSc 8711 Report: OWL API Syed Haque Department of Computer Science Georgia State University Atlanta, Georgia 30303 Email: shaque4@student.gsu.edu Abstract: The Semantic Web is an extension of human-readable
More informationContents. G52IWS: The Semantic Web. The Semantic Web. Semantic web elements. Semantic Web technologies. Semantic Web Services
Contents G52IWS: The Semantic Web Chris Greenhalgh 2007-11-10 Introduction to the Semantic Web Semantic Web technologies Overview RDF OWL Semantic Web Services Concluding comments 1 See Developing Semantic
More informationAn Introduction to the Semantic Web. Jeff Heflin Lehigh University
An Introduction to the Semantic Web Jeff Heflin Lehigh University The Semantic Web Definition The Semantic Web is not a separate Web but an extension of the current one, in which information is given well-defined
More informationLinked data and its role in the semantic web. Dave Reynolds, Epimorphics
Linked data and its role in the semantic web Dave Reynolds, Epimorphics Ltd @der42 Roadmap What is linked data? Modelling Strengths and weaknesses Examples Access other topics image: Leo Oosterloo @ flickr.com
More informationSemantic reasoning for dynamic knowledge bases. Lionel Médini M2IA Knowledge Dynamics 2018
Semantic reasoning for dynamic knowledge bases Lionel Médini M2IA Knowledge Dynamics 2018 1 Outline Summary Logics Semantic Web Languages Reasoning Web-based reasoning techniques Reasoning using SemWeb
More informationSemantic Web. MPRI : Web Data Management. Antoine Amarilli Friday, January 11th 1/29
Semantic Web MPRI 2.26.2: Web Data Management Antoine Amarilli Friday, January 11th 1/29 Motivation Information on the Web is not structured 2/29 Motivation Information on the Web is not structured This
More informationINF3580 SPRING 2014 EXERCISES WEEK 4
INF3580 SPRING 2014 EXERCISES WEEK 4 Martin G. Skjæveland 10 mars 2014 4 SPARQL Read Semantic Web Programming: chapter 6. Foundations of Semantic Web Technologies: chapter 7. 4.1 Query engine In this exercise
More informationSemantic Information Retrieval: An Ontology and RDFbased
Semantic Information Retrieval: An Ontology and RDFbased Model S. Mahaboob Hussain Assistant Professor, CSE Prathyusha Kanakam Assistant Professor, CSE D. Suryanarayana Professor, CSE Swathi Gunnam PG
More informationEfficient Querying of Web Services Using Ontologies
Journal of Algorithms & Computational Technology Vol. 4 No. 4 575 Efficient Querying of Web Services Using Ontologies K. Saravanan, S. Kripeshwari and Arunkumar Thangavelu School of Computing Sciences,
More informationRDFS. Suresh Manandhar* & Dimitar Kazakov
ARIN KR Lecture 3 RDFS Suresh Manandhar* & Dimitar Kazakov *Several of these slides are based on tutorial by Ivan Herman (W3C) reproduced here with kind permission. All changes and errors are mine. 1 Lecture
More informationJENA: A Java API for Ontology Management
JENA: A Java API for Ontology Management Hari Rajagopal IBM Corporation Page Agenda Background Intro to JENA Case study Tools and methods Questions Page The State of the Web Today The web is more Syntactic
More informationOWL DL / Full Compatability
Peter F. Patel-Schneider, Bell Labs Research Copyright 2007 Bell Labs Model-Theoretic Semantics OWL DL and OWL Full Model Theories Differences Betwen the Two Semantics Forward to OWL 1.1 Model-Theoretic
More informationOWL 2 Web Ontology Language Primer
OWL 2 Web Ontology Language Primer W3C Working Draft 21 April 2009 This version: Latest version: http://www.w3.org/tr/owl2-primer/ Previous version: http://www.w3.org/tr/2008/wd-owl2-primer-20080411/ Authors:
More informationBryan Smith May 2010
Bryan Smith May 2010 Tool (Onto2SMem) to generate declarative knowledge base in SMem from ontology Sound (if incomplete) inference Proof of concept Baseline implementation Semantic memory (SMem) Store
More informationSemantic Web Test
Semantic Web Test 24.01.2017 Group 1 No. A B C D 1 X X X 2 X X 3 X X 4 X X 5 X X 6 X X X X 7 X X 8 X X 9 X X X 10 X X X 11 X 12 X X X 13 X X 14 X X 15 X X 16 X X 17 X 18 X X 19 X 20 X X 1. Which statements
More informationAdding formal semantics to the Web
Adding formal semantics to the Web building on top of RDF Schema Jeen Broekstra On-To-Knowledge project Context On-To-Knowledge IST project about content-driven knowledge management through evolving ontologies
More informationAn Alternative CIM Modeling Approach using JSON-LD
An Alternative CIM Modeling Approach using JSON-LD Authors: Milan Gavrić, Kosa Nenadić Presented by: Milan Gavrić, Ph.D. milan.gavric@schneider-electric-dms.com Head of Systems Integration Department Content
More informationIntegration of the Semantic Web with Meta Object Facilities
Integration of the Semantic Web with Meta Object Facilities Work in progress supported by the U.S. General Service Administration s Open Source egov Reference Architecture (OsEra) Project Cory Casanave,
More informationOvercoming Challenges Using the CIM as a Semantic Model for Energy Applications
Overcoming Challenges Using the CIM as a Semantic Model for Energy Applications Andrew Crapo 1, Katrina Griffith 2, Ankesh Khandelwal 3, John Lizzi 1, Abha Moitra 1, and Xiaofeng Wang 2 1 GE Global Research,
More informationOWL-DBC The Arrival of Scalable and Tractable OWL Reasoning for Enterprise Knowledge Bases
OWL-DBC The Arrival of Scalable and Tractable OWL Reasoning for Enterprise Knowledge Bases URL: [http://trowl.eu/owl- dbc/] Copyright @2013 the University of Aberdeen. All Rights Reserved This document
More informationWeb Data and Declarative Programming
and Declarative Programming Universidad de Almería. jalmen@ual.es March 2, 2010 Table of contents 1 2 XML RDF OWL 3 Querying and Reasoning with SPARQL 4 with 5 Querying and Reasoning with Research Lines
More informationLecture 8 OWL: Web Ontology Language
info-h-509 xml technologies Lecture 8 OWL: Web Ontology Language Stijn Vansummeren February 14, 2017 lecture outline 1 Our story so far 2 Web Ontology Language OWL 3 Reasoning with OWL 1 Part I: Our story
More informationOWL 2 Web Ontology Language Primer W3C Recommendation 27 October 2009
OWL 2 Web Ontology Language Primer W3C Recommendation 27 October 2009 This version: Latest version (series 2: http://www.w3.org/tr/owl2-primer/ Latest Recommendation: http://www.w3.org/tr/owl-primer Previous
More informationRules, RIF and RuleML
Rules, RIF and RuleML Rule Knowledge l Rules generalize facts by making them conditional on other facts (often via chaining through further rules) l Rules generalize taxonomies via multiple premises, n-ary
More informationKnowledge Representations. How else can we represent knowledge in addition to formal logic?
Knowledge Representations How else can we represent knowledge in addition to formal logic? 1 Common Knowledge Representations Formal Logic Production Rules Semantic Nets Schemata and Frames 2 Production
More informationDeveloping markup metaschemas to support interoperation among resources with different markup schemas
Developing markup metaschemas to support interoperation among resources with different markup schemas Gary Simons SIL International ACH/ALLC Joint Conference 29 May to 2 June 2003, Athens, GA The Context
More informationAn RDF-based Distributed Expert System
An RDF-based Distributed Expert System NAPAT PRAPAKORN*, SUPHAMIT CHITTAYASOTHORN** Department of Computer Engineering King Mongkut's Institute of Technology Ladkrabang Faculty of Engineering, Bangkok
More informationSEMANTIC WEB 05 RDF SCHEMA MODELLING SEMANTICS IMRAN IHSAN ASSISTANT PROFESSOR, AIR UNIVERSITY, ISLAMABAD
SEMANTIC WEB 05 RDF SCHEMA MODELLING SEMANTICS IMRAN IHSAN ASSISTANT PROFESSOR, AIR UNIVERSITY, ISLAMABAD WWW.IMRANIHSAN.COM INTRODUCTION RDF has a very simple data model RDF Schema (RDFS) enriches the
More informationSemantic Technologies and CDISC Standards. Frederik Malfait, Information Architect, IMOS Consulting Scott Bahlavooni, Independent
Semantic Technologies and CDISC Standards Frederik Malfait, Information Architect, IMOS Consulting Scott Bahlavooni, Independent Part I Introduction to Semantic Technology Resource Description Framework
More informationChapter 2 AN INTRODUCTION TO THE OWL WEB ONTOLOGY LANGUAGE 1. INTRODUCTION. Jeff Heflin Lehigh University
Chapter 2 AN INTRODUCTION TO THE OWL WEB ONTOLOGY LANGUAGE Jeff Heflin Lehigh University Abstract: Key words: 1. INTRODUCTION The OWL Web Ontology Language is an international standard for encoding and
More informationMustafa Jarrar: Lecture Notes on RDF Schema Birzeit University, Version 3. RDFS RDF Schema. Mustafa Jarrar. Birzeit University
Mustafa Jarrar: Lecture Notes on RDF Schema Birzeit University, 2018 Version 3 RDFS RDF Schema Mustafa Jarrar Birzeit University 1 Watch this lecture and download the slides Course Page: http://www.jarrar.info/courses/ai/
More informationlogic importance logic importance (2) logic importance (3) specializations of logic Horn logic specializations of logic RDF and OWL
logic importance - high-level language for expressing knowledge - high expressive power - well-understood formal semantics - precise notion of logical consequence - systems that can automatically derive
More informationTRIPLE An RDF Query, Inference, and Transformation Language
TRIPLE An RDF Query, Inference, and Transformation Language Michael Sintek sintek@dfki.de DFKI GmbH Stefan Decker stefan@db.stanford.edu Stanford University Database Group DDLP'2001 Tokyo, Japan, October
More informationSemantic Web Technologies and Automated Auctions
Semantic Web Technologies and Automated Auctions Papers: "Implementing Semantic Interoperability in Electronic Auctions" - Juha Puustjarvi (2007) "Ontologies for supporting negotiation in e-commerce" -
More informationThe Semantic Web. Mansooreh Jalalyazdi
1 هو العليم 2 The Semantic Web Mansooreh Jalalyazdi 3 Content Syntactic web XML Add semantics Representation Language RDF, RDFS OWL Query languages 4 History of the Semantic Web Tim Berners-Lee vision
More informationXML and Semantic Web Technologies. III. Semantic Web / 1. Ressource Description Framework (RDF)
XML and Semantic Web Technologies XML and Semantic Web Technologies III. Semantic Web / 1. Ressource Description Framework (RDF) Prof. Dr. Dr. Lars Schmidt-Thieme Information Systems and Machine Learning
More informationSchema-Agnostic Query Rewriting in SPARQL 1.1
Fakultät Informatik, Institut Künstliche Intelligenz, Professur Computational Logic Schema-Agnostic Query Rewriting in SPARQL 1.1 Stefan Bischof, Markus Krötzsch, Axel Polleres and Sebastian Rudolph Plain
More informationSemantic Web. Ontology and OWL. Morteza Amini. Sharif University of Technology Fall 95-96
ه عا ی Semantic Web Ontology and OWL Morteza Amini Sharif University of Technology Fall 95-96 Outline Introduction & Definitions Ontology Languages OWL (Ontology Web Language) 2 Outline Introduction &
More informationThe semantics of a programming language is concerned with the meaning of programs, that is, how programs behave when executed on computers.
Semantics The semantics of a programming language is concerned with the meaning of programs, that is, how programs behave when executed on computers. The semantics of a programming language assigns a precise
More informationOntological Modeling: Part 2
Ontological Modeling: Part 2 Terry Halpin LogicBlox This is the second in a series of articles on ontology-based approaches to modeling. The main focus is on popular ontology languages proposed for the
More informationARISTOTLE UNIVERSITY OF THESSALONIKI. Department of Computer Science. Technical Report
ARISTOTLE UNIVERSITY OF THESSALONIKI Department of Computer Science Technical Report Populating Object-Oriented Rule Engines with the Extensional Knowledge of OWL DL Reasoners Georgios Meditskos and Nick
More informationCOMBINING X3D WITH SEMANTIC WEB TECHNOLOGIES FOR INTERIOR DESIGN
COMBINING X3D WITH SEMANTIC WEB TECHNOLOGIES FOR INTERIOR DESIGN Konstantinos Kontakis, Malvina Steiakaki, Michael Kalochristianakis, Kostas Kapetanakis and Athanasios G. Malamos Acknowledgements This
More informationSolving problem of semantic terminology in digital library
International Journal of Advances in Intelligent Informatics ISSN: 2442-6571 20 Solving problem of semantic terminology in digital library Herlina Jayadianti Universitas Pembangunan Nasional Veteran Yogyakarta,
More informationChapter 3. RDF Schema
Chapter 3 RDF Schema Introduction l RDF has a very simple data model l RDF Schema (RDFS) enriches the data model, adding vocabulary & associated semantics for Classes and es Properties and sub-properties
More informationSEMANTIC WEB DATA MANAGEMENT. from Web 1.0 to Web 3.0
SEMANTIC WEB DATA MANAGEMENT from Web 1.0 to Web 3.0 CBD - 21/05/2009 Roberto De Virgilio MOTIVATIONS Web evolution Self-describing Data XML, DTD, XSD RDF, RDFS, OWL WEB 1.0, WEB 2.0, WEB 3.0 Web 1.0 is
More informationResource Space Model, OWL and Database: Mapping and Integration
Resource Space Model, OWL and Database: Mapping and Integration HAI ZHUGE, YUNPENG XING and PENG SHI Chinese Academy of Sciences, Beijing, China Semantics exhibits diversity in the real world, mental abstraction
More informationFOUNDATIONS OF SEMANTIC WEB TECHNOLOGIES
FOUNDATIONS OF SEMANTIC WEB TECHNOLOGIES Semantics of RDF(S) Sebastian Rudolph Dresden, 25 April 2014 Content Overview & XML Introduction into RDF RDFS Syntax & Intuition Tutorial 1 RDFS Semantics RDFS
More informationLecture 4: Reasoning
Lecture 4: Reasoning TIES4520 Semantic Technologies for Developers Autumn 2017 University of Jyväskylä Khriyenko Oleksiy Two basic types: Reasoning types Rule-based reasoning General rule-based inference
More informationH1 Spring B. Programmers need to learn the SOAP schema so as to offer and use Web services.
1. (24 points) Identify all of the following statements that are true about the basics of services. A. If you know that two parties implement SOAP, then you can safely conclude they will interoperate at
More informationExercise 3.1 (Win-Move Game: Draw Nodes) Consider again the Win-Move-Game. There, WinNodes and LoseNodes have been axiomatized.
Semantic Web 12 3. Unit: OWL Exercise 3.1 (Win-Move Game: Draw Nodes) Consider again the Win-Move-Game. There, WinNodes and LoseNodes have been axiomatized. a) Is it possible to characterize DrawNodes
More informationSEMANTIC WEB AND COMPARATIVE ANALYSIS OF INFERENCE ENGINES
SEMANTIC WEB AND COMPARATIVE ANALYSIS OF INFERENCE ENGINES Ms. Neha Dalwadi 1, Prof. Bhaumik Nagar 2, Prof. Ashwin Makwana 1 1 Computer Engineering, Chandubhai S Patel Institute of Technology Changa, Dist.
More informationSemantic MediaWiki A Tool for Collaborative Vocabulary Development Harold Solbrig Division of Biomedical Informatics Mayo Clinic
Semantic MediaWiki A Tool for Collaborative Vocabulary Development Harold Solbrig Division of Biomedical Informatics Mayo Clinic Outline MediaWiki what it is, how it works Semantic MediaWiki MediaWiki
More informationSWAD-Europe Deliverable 8.1 Core RDF Vocabularies for Thesauri
Mon Jun 07 2004 12:07:51 Europe/London SWAD-Europe Deliverable 8.1 Core RDF Vocabularies for Thesauri Project name: Semantic Web Advanced Development for Europe (SWAD-Europe) Project Number: IST-2001-34732
More information