Semantic Web SPARQL. Gerd Gröner, Matthias Thimm. July 16,
|
|
- Paula Merritt
- 5 years ago
- Views:
Transcription
1 Semantic Web SPARQL Gerd Gröner, Matthias Thimm Institute for Web Science and Technologies (WeST) University of Koblenz-Landau July 16, 2013 Gerd Gröner, Matthias Thimm Semantic Web 1 / 47
2 Agenda for this Week SPARQL (2 lectures) Ontology Engineering Pattern-based Ontology Design Semantic Search Semantic Web Applications, Closing Gerd Gröner, Matthias Thimm Semantic Web 2 / 47
3 Outline 1 SPARQL Protocol and RDF Query Language 2 SPARQL Protocol 3 Networked Graphs 4 SPARQL 1.1 Gerd Gröner, Matthias Thimm Semantic Web 3 / 47
4 Outline 1 SPARQL Protocol and RDF Query Language 2 SPARQL Protocol 3 Networked Graphs 4 SPARQL 1.1 Gerd Gröner, Matthias Thimm Semantic Web 4 / 47
5 Outline 1 SPARQL Protocol and RDF Query Language 2 SPARQL Protocol 3 Networked Graphs 4 SPARQL 1.1 Gerd Gröner, Matthias Thimm Semantic Web 5 / 47
6 SPARQL Protocol The SPARQL protocol specifies how queries and query results are exchanged / sent between providing and requesting service. Queries and results are sent over the network. Protocol is specified by two parts 1. SPARQL interface (abstract interface, independent of concrete implementation) 2. bindings of this interface for the query (request) HTTP binding SOAP binding for the result XML result binding WSDL 2.0 (Web service description langauge) to describe the SPARQL protocol Gerd Gröner, Matthias Thimm Semantic Web 6 / 47
7 SparqlQuery Interface SparqlQuery is the only interface of the SPARQL protocol. It contails one operation: query the query operation described by an in-out message exchange pattern this in-out message exchange pattern consists of two messages: in -message out -message Gerd Gröner, Matthias Thimm Semantic Web 7 / 47
8 Interface and Operation the query in message Content of an in message (of a SPARQL query operation) is an instance of an XML Schema complex type Gerd Gröner, Matthias Thimm Semantic Web 8 / 47
9 Interface and Operation the query out message contents of the out message of the query operation is an instance of an XML Schema complex type the out message is composed of either: a SPARQL result document (for SELECT and ASK queries), or a serialized RDF graph (e.g., in the RDF/XML syntax) (for CONSTRUCT and DESCRIBE queries) Additionally, a specification of return message in case of incorrect (malformed) queries, or refused request Gerd Gröner, Matthias Thimm Semantic Web 9 / 47
10 SPARQL Query Binding: HTTP Binding Query: PREFIX dc : <h t t p : / / p u r l. org / dc / e l e m e n t s /1.1/ > SELECT? book?who WHERE {? book dc : c r e a t o r?who } conveyed to a SPARQL query service http: // www. example. com/ sparql/, which is illustrated by the following HTTP trace: GET / s p a r q l /? q u e r y=encodedquery HTTP/ 1. 1 Host : www. example. com User agent : my s p a r q l c l i e n t / 0. 1 Gerd Gröner, Matthias Thimm Semantic Web 10 / 47
11 SPARQL Query Binding: SOAP Binding SOAP binding: <?xml v e r s i o n = 1.0 e n c o d i n g= UTF 8?> <soapenv : E n v e l o p e xmlns : soapenv= h t t p : / /www. w3. org /2003/05/ soap e n v e l o p e / xmlns : xsd= h t t p : / /www. w3. org /2001/XMLSchema xmlns : x s i = h t t p : / /www. w3. org /2001/XMLSchema i n s t a n c e > <soapenv : Body> <query r e q u e s t xmlns= h t t p : / /www. w3. org /2005/09/ s p a r q l p r o t o c o l t y p e s/# > <query>select? x? y WHERE {? x i s R e l a t e d T o? y}</query> </query r e q u e s t > </soapenv : Body> </soapenv : Envelope > Gerd Gröner, Matthias Thimm Semantic Web 11 / 47
12 Result XML Binding Remember: previously introduced example query: SELECT? book?who WHERE {? book dc : c r e a t o r?who } Result: HTTP/ OK S e r v e r : Apache / ( Unix ) PHP/ DAV/ C o n n e c t i o n : c l o s e Content Type : a p p l i c a t i o n / s p a r q l r e s u l t s+xml <?xml v e r s i o n = 1.0?> <s p a r q l xmlns= h t t p : / /www. w3. org /2005/ s p a r q l r e s u l t s # > <head> < v a r i a b l e name= book /> < v a r i a b l e name= who /> </head> < r e s u l t s d i s t i n c t = f a l s e o r d e r e d= f a l s e > <r e s u l t > <b i n d i n g name= book ><u r i >h t t p : / /www. example / book5</u r i ></b i <b i n d i n g name= who ><bnode>r r2922 </bnode></b i n d i n g > </ r e s u l t >... </ s p a r q l > Gerd Gröner, Matthias Thimm Semantic Web 12 / 47
13 SPARQL Result XML Binding <?xml v e r s i o n = 1.0?> <s p a r q l xmlns= h t t p : / /www. w3. org /2005/ s p a r q l r e s u l t s # > <head> < v a r i a b l e name= name /> < v a r i a b l e name= mbox /> </head> <r e s u l t s > <r e s u l t > <b i n d i n g name= name >... </b i n d i n g > <b i n d i n g name= mbox >... </b i n d i n g > </ r e s u l t > <r e s u l t > <b i n d i n g name= name >... </b i n d i n g > <b i n d i n g name= mbox >... </b i n d i n g > </ r e s u l t >... </ r e s u l t s > </ s p a r q l > Gerd Gröner, Matthias Thimm Semantic Web 13 / 47
14 Binding Types inside Results <r e s u l t > <b i n d i n g name= x > <bnode>r2 </bnode> </b i n d i n g > <b i n d i n g name= hpage > <u r i >h t t p : / / work. example. org /bob/</ u r i > </b i n d i n g > <b i n d i n g name= name > < l i t e r a l xml : l a n g= en >Bob</ l i t e r a l > </b i n d i n g > <b i n d i n g name= age > < l i t e r a l d a t a t y p e= h t t p : / /www. w3. org /2001/XMLSchema#i n t e g e r >30 </ l i t e r a l > </b i n d i n g > <b i n d i n g name= mbox > <u r i >m a i l t o : bob@work. example. org </u r i > </b i n d i n g > </ r e s u l t > Gerd Gröner, Matthias Thimm Semantic Web 14 / 47
15 Outline 1 SPARQL Protocol and RDF Query Language 2 SPARQL Protocol 3 Networked Graphs 4 SPARQL 1.1 Gerd Gröner, Matthias Thimm Semantic Web 15 / 47
16 Networked Graphs Simon Schenk and Steffen Staab Networked Graphs: A Declarative Mechanism for SPARQL Rules, SPARQL Views and RDF Data Integration on the Web, Proceedings of the 17th International World Wide Web Conference, WWW2008, Bejing, China, Gerd Gröner, Matthias Thimm Semantic Web 16 / 47
17 Networked Graphs Basic Idea: define RDF graphs extensionally by listing statements (RDF triples) or intensionally using views possible to have view within another view (recursion) Integrate with existing Semantic Web infrastructure Easy exchange of (networked) graphs Use existing data sources (RDF graphs) Gerd Gröner, Matthias Thimm Semantic Web 17 / 47
18 Background: The Vision of the Semantic Web A Web of Machine understandable data. Allowing for Reuse of data. A Distributed Infrastructure Managed by autonomous agents Fundamental technologies: RDF, SPARQL HTTP GET Gerd Gröner, Matthias Thimm Semantic Web 18 / 47
19 Background: The Vision of the Semantic Web A Web of Machine understandable data. Allowing for Reuse of data. A Distributed Infrastructure Managed by autonomous agents Fundamental technologies: RDF, SPARQL HTTP GET Gerd Gröner, Matthias Thimm Semantic Web 18 / 47
20 Motivation for Networked Graphs: Mashups Gerd Gröner, Matthias Thimm Semantic Web 19 / 47
21 Mashups and Semantic Web Mashups most popular model: Hack-and-Hope Disadvantages: Screen-Scraping (reading, extracting text from documents (Web pages)) No agreement on a data model It may be different sometimes: Google Web service Amazon Web service Semantic Web most popular model: Crawl-Integrate-and-Reason Disadvantages: Data is outdated Data is not declarative, but only has implicit semantics Scalability problems Access rights: not all is allowed to be copied / published Provenance data sources can be blurred Gerd Gröner, Matthias Thimm Semantic Web 20 / 47
22 Mashups and Semantic Web Mashups most popular model: Hack-and-Hope Disadvantages: Screen-Scraping (reading, extracting text from documents (Web pages)) No agreement on a data model It may be different sometimes: Google Web service Amazon Web service Semantic Web most popular model: Crawl-Integrate-and-Reason Disadvantages: Data is outdated Data is not declarative, but only has implicit semantics Scalability problems Access rights: not all is allowed to be copied / published Provenance data sources can be blurred Gerd Gröner, Matthias Thimm Semantic Web 20 / 47
23 Mashups and Semantic Web Mashups most popular model: Hack-and-Hope Disadvantages: Screen-Scraping (reading, extracting text from documents (Web pages)) No agreement on a data model It may be different sometimes: Google Web service Amazon Web service Semantic Web most popular model: Crawl-Integrate-and-Reason Disadvantages: Data is outdated Data is not declarative, but only has implicit semantics Scalability problems Access rights: not all is allowed to be copied / published Provenance data sources can be blurred Gerd Gröner, Matthias Thimm Semantic Web 20 / 47
24 Networked Graphs A Concrete Scenario Gerd Gröner, Matthias Thimm Semantic Web 21 / 47
25 Objectives in this Scenario A Web of Machine understandable data. Allowing for Reuse of data. A Distributed Infrastructure Managed by autonomous agents Hardly any assumptions: RDF, SPARQL HTTP GET Objectives: Distributed Views Re-use existing languages/protocols (RDF extension) Default-negation Easy to learn, easy to exchange Gerd Gröner, Matthias Thimm Semantic Web 22 / 47
26 Objectives in this Scenario A Web of Machine understandable data. Allowing for Reuse of data. A Distributed Infrastructure Managed by autonomous agents Hardly any assumptions: RDF, SPARQL HTTP GET Objectives: Distributed Views Re-use existing languages/protocols (RDF extension) Default-negation Easy to learn, easy to exchange Gerd Gröner, Matthias Thimm Semantic Web 22 / 47
27 Remember: Named Graphs Used to group a set of triples. Gerd Gröner, Matthias Thimm Semantic Web 23 / 47
28 Remember: SPARQL CONSTRUCT Queries Build an RDF graph from existing triples (here from named graphs): CONSTRUCT {?member f o a f : c u r r e n t P r o j e c t : SemWebProject.?member f o a f : phone? phone } FROM NAMED : bobfoaf FROM NAMED : chrisfoaf FROM NAMED... WHERE { GRAPH? f o a f F i l e {? f o a f F i l e f o a f : p r i m a r y T o p i c?member OPTIONAL {?member f o a f : phone? phone FILTER (REGEX(? phone, ˆ \ ) ) } } } Query: Find the persons described in the FOAF files, their phone numbers, if available. German phone numbers only. Gerd Gröner, Matthias Thimm Semantic Web 24 / 47
29 Now: Networked Graphs Basic Idea: Define RDF graphs extensionally by listing statements or intensionally using views based on SPARQL Gerd Gröner, Matthias Thimm Semantic Web 25 / 47
30 Independence Set IS (BobFOAF) = { BobFOAF M i k e s P r o j e c t, DBLP, ChrisFOAF } Semantics of the independence set: Iteratively evaluate all views until a fixpoint is reached. Possible problems: Termination of recursion Non-monotonic negation Gerd Gröner, Matthias Thimm Semantic Web 26 / 47
31 Well-founded Semantics Models of the Well Founded Semantics closed-world (Here: rules only, graphs may be open worlds.) pessimistic (negate as much as possible) Interpretation of each fact is three-valued (true, false, unknown) Usage with RDF In RDF only true statements; false, unknown treated equally. In Networked Graphs false and unknown are used for interim results. Gerd Gröner, Matthias Thimm Semantic Web 27 / 47
32 RDF Mashups with declarative, dynamic semantics, Mashups can be very powerful! re-use and combine data from several data sources on the Web Gerd Gröner, Matthias Thimm Semantic Web 28 / 47
33 Networked Graphs Architecture Based on Sesame 2 ( Open source ( systems/networkedgraphs) Gerd Gröner, Matthias Thimm Semantic Web 29 / 47
34 Networked Graphs Conclusion Networked Graphs allows for easy formulation, exchange and distributed evaluation of rules and views for the Semantic Web using default negation Networked Graphs integrate well with existing mechanisms and can be evaluated efficiently. Networked Graphs are eases the re-use of existing data in various applications. Gerd Gröner, Matthias Thimm Semantic Web 30 / 47
35 Outline 1 SPARQL Protocol and RDF Query Language 2 SPARQL Protocol 3 Networked Graphs 4 SPARQL 1.1 Gerd Gröner, Matthias Thimm Semantic Web 31 / 47
36 SPARQL some extensions in SPARQL 1.1: Projected expressions Aggregationen Subqueries Negation Property path Service descriptions Update language Update protocol HTTP RDF update (RESTful) Basic federated query Gerd Gröner, Matthias Thimm Semantic Web 32 / 47
37 Projected expressions SELECT queries are no longer restricted to variables: SELECT (? p r i c e? amount AS? t o t a l P r i c e ) WHERE {... } Gerd Gröner, Matthias Thimm Semantic Web 33 / 47
38 Aggregation Like in SQL: COUNT, SUM, MIN, MAX, GROUP BY SELECT (MIN(? p r i c e ) AS? m i n P r i c e )... WHERE {... } GROUP BY? a r t i c l e Gerd Gröner, Matthias Thimm Semantic Web 34 / 47
39 Subqueries nested queries multiple queries can be cominged in one query SELECT? a r t i c l e? a u t h o r WHERE? a r t i c l e ex : a u t h o r? a u t h o r. { SELECT? a r t i c l e WHERE {...? a r t i c l e... } ORDER BY... LIMIT... } Result of a query is nested in another query. Gerd Gröner, Matthias Thimm Semantic Web 35 / 47
40 Negation The trick with OPTIONAL and BOUND is no longer needed. SELECT... WHERE {? p e r s o n a f o a f : Person. MINUS {? p e r s o n f o a f : mbox? e m a i l } } Both graph patterns are evaluated and then the difference is returned. Gerd Gröner, Matthias Thimm Semantic Web 36 / 47
41 Negation (2) Alternative construct NOT EXISTS SELECT... WHERE {? p e r s o n a f o a f : Person. { FILTER NOT EXISTS {? p e r s o n f o a f : mbox? e m a i l } } Both graph patterns are evaluated and then the difference is returned. Gerd Gröner, Matthias Thimm Semantic Web 37 / 47
42 Property path Excerpt of constructors (let p be an IRI for a predicate, e.g., foaf:knows): ^p inverse path p* multiple times (including 0) p+ multiple times at least 1 p? zero or one times p1/p2 sequence p1 p2 alternative Gerd Gröner, Matthias Thimm Semantic Web 38 / 47
43 Property path (2) regular expression SELECT... WHERE {? p e r s o n f o a f : knows+? network. } Gerd Gröner, Matthias Thimm Semantic Web 39 / 47
44 Property path (3) SELECT... WHERE {? book dc : t i t l e r d f s : l a b e l? d i s p l a y S t r i n g. } regular expression e.g., alternative Gerd Gröner, Matthias Thimm Semantic Web 40 / 47
45 Property path (3) SELECT... WHERE {? book dc : t i t l e r d f s : l a b e l? d i s p l a y S t r i n g. } regular expression e.g., alternative Gerd Gröner, Matthias Thimm Semantic Web 40 / 47
46 Property path (3) regular expression e.g., Sequence: Find the names of people 2 foaf:knows links away. SELECT... WHERE {? x f o a f : mbox <m a i l t o : a l i c e x a m p l e >.? x f o a f : knows/ f o a f : knows/ f o a f : name?name. } without property path? Gerd Gröner, Matthias Thimm Semantic Web 41 / 47
47 Property path (3) regular expression e.g., Sequence: Find the names of people 2 foaf:knows links away. SELECT... WHERE {? x f o a f : mbox <m a i l t o : a l i c e x a m p l e >.? x f o a f : knows/ f o a f : knows/ f o a f : name?name. } without property path? Gerd Gröner, Matthias Thimm Semantic Web 41 / 47
48 Property path (4) equivalent query (without property path): SELECT... WHERE {? x f o a f : mbox <m a i l t o : a l i c e x a m p l e >.? x f o a f : knows? a1.? a1 f o a f : knows? a2.? a2 f o a f : name?name. } Gerd Gröner, Matthias Thimm Semantic Web 42 / 47
49 HAVING (over GROUPed sets) HAVING operates over grouped solution sets, in the same way that FILTER operates over un-grouped sets PREFIX : <h t t p : / / data. example/> SELECT (AVG(? s i z e ) AS? a s i z e ) WHERE {? x : s i z e? s i z e } GROUP BY? x HAVING(AVG(? s i z e ) > 10) This will return average sizes, grouped by the subject, but only where the mean size is greater than 10. Gerd Gröner, Matthias Thimm Semantic Web 43 / 47
50 HAVING (over GROUPed sets) HAVING operates over grouped solution sets, in the same way that FILTER operates over un-grouped sets PREFIX : <h t t p : / / data. example/> SELECT (AVG(? s i z e ) AS? a s i z e ) WHERE {? x : s i z e? s i z e } GROUP BY? x HAVING(AVG(? s i z e ) > 10) This will return average sizes, grouped by the subject, but only where the mean size is greater than 10. Gerd Gröner, Matthias Thimm Semantic Web 43 / 47
51 Summary SPARQL Standard query language for RDF SELECT, CONSTRUCT, ASK, DESCRIBE Extensive filters, optional and alternative patterns Protocol for queries and results Based on triples model (subject-predicate-object) No logic inference in language, only in underlying knowledge base Named graphs Separate or specialized knowledge Gerd Gröner, Matthias Thimm Semantic Web 44 / 47
52 Learning goals Understanding basic and advanced queries using SPARQL. Gain knowledge about how to query reified data. Gerd Gröner, Matthias Thimm Semantic Web 45 / 47
53 SPARQL endpoints Name URL What s in there? DBPedia extensive RDF data from Wikipedia SPARQLer tttp://sparql.org/sparql.html General-purpose query endpoint for Web-accessible data DBLP Bibliographic data from computer science journals and conferences LinkedMDB Films, actors, directors, writers, producers, etc. World factbook Country statistics from the CIA World Factbook bio2rdf Bioinformatics data from around 40 public databases Gerd Gröner, Matthias Thimm Semantic Web 46 / 47
54 Exercise querying DBpedia endpoint Find 10 cities ( that are located in (property Germany ( Find 10 Populated Places (URI: with their names (rdfs:label) in which the names are described in German (i.e., language tag de ). Find 10 people ( with place of birth ( Berlin ( Gerd Gröner, Matthias Thimm Semantic Web 47 / 47
SPARQL Extensions and Outlook
SPARQL Extensions and Outlook Axel Polleres 1 1 DERI Galway, National University of Ireland, Galway axel.polleres@deri.org European Semantic Web Conference 2007 A. Polleres SPARQL Extensions and Outlook
More informationApplying the Semantic Web to Computational Chemistry
Applying the Semantic Web to Computational Chemistry Neil S. Ostlund, Mirek Sopek Chemical Semantics Inc., Gainesville, Florida, USA {ostlund, sopek}@chemicalsemantics.com Abstract. Chemical Semantics
More informationI4-DX2 RDF Querying in Xcerpt
I4-DX2 RDF Querying in Xcerpt Project title: Reasoning on the Web with Rules and Semantics Project acronym: REWERSE Project number: IST-2004-506779 Project instrument: EU FP6 Network of Excellence (NoE)
More informationUnSAID: Uncertainty and Structure in the Access to Intensional Data
UnSAID: Uncertainty and Structure in the Access to Intensional Data Pierre Senellart 3 July 214, Univ. Rennes 1 Uncertain data is everywhere Numerous sources of uncertain data: Measurement errors Data
More informationSapienza universita di Roma Dipartimento di Informatica e Sistemistica. User guide WSCE-Lite Web Service Composition Engine v 0.1.
Sapienza universita di Roma Dipartimento di Informatica e Sistemistica User guide WSCE-Lite Web Service Composition Engine v 0.1 Valerio Colaianni Contents 1 Installation 5 1.1 Installing TLV..........................
More informationGeomRDF : A Geodata Converter with a Fine-Grained Structured Representation of Geometry in the Web
GeomRDF : A Geodata Converter with a Fine-Grained Structured Representation of Geometry in the Web Fayçal Hamdi 1 Nathalie Abadie 2 Bénédicte Bucher 2 Abdelfettah Feliachi 2 1 ISID TEAM, CEDRIC Lab Conservatoire
More informationIncomplete Information in RDF
Incomplete Information in RDF Charalampos Nikolaou and Manolis Koubarakis charnik@di.uoa.gr koubarak@di.uoa.gr Department of Informatics and Telecommunications National and Kapodistrian University of Athens
More informationDistributed data management with the rule-based language: Webdamlog
Distributed data management with the rule-based language: Webdamlog Ph.D. defense Émilien ANTOINE Supervisor: Serge ABITEBOUL Webdam Inria ENS-Cachan Université de Paris Sud December 5th, 2013 Émilien
More informationResource Description Framework (RDF) A basis for knowledge representation on the Web
Resource Description Framework (RDF) A basis for knowledge representation on the Web Simple language to capture assertions (as statements) Captures elements of knowledge about a resource Facilitates incremental
More informationEstimating query rewriting quality over LOD
Semantic Web 1 (2016) 1 5 1 IOS Press Estimating query rewriting quality over LOD Editor(s): Name Surname, University, Country Solicited review(s): Name Surname, University, Country Open review(s): Name
More informationQuerying for Provenance, Trust, Uncertainty and other Meta Knowledge in RDF 1
Querying for Provenance, Trust, Uncertainty and other Meta Knowledge in RDF 1 Renata Dividino a, Sergej Sizov a, Steffen Staab a, Bernhard Schueler a a ISWeb - Information Systems and Semantic Web University
More informationThe Europeana Linked Open Data Server
The Europeana Linked Open Data Server Nicola Aloia, Cesare Concordia, Carlo Meghini Istituto di Scienza e Tecnologie dell Informazione CNR Pisa 2/20/2014 LOD 2014 - Roma 1 Europeana Started in 2007 Cluster
More informationGeospatial Semantics for Topographic Data
Geospatial Semantics for Topographic Data E. Lynn Usery U.S. Geological Survey Abstract. Whereas The National Map of the U.S. Geological Survey is based on data models and processes of geographic information
More informationSPARQL Algebra Sebastian Rudolph
FOUNDATIONS OF SEMANTIC WEB TECHNOLOGIES SPARQL Algebra Sebastian Rudolph The SPARQL Query Language TU Dresden Foundations of Semantic Web Technologies slide 2 of 56 The SPARQL Query Language TU Dresden
More informationQuestion Answering on Statistical Linked Data
Question Answering on Statistical Linked Data AKSW Colloquium paper presentation Konrad Höffner Universität Leipzig, AKSW/MOLE, PhD Student 2015-2-16 1 / 18 1 2 3 2 / 18 Motivation Statistical Linked Data
More informationA Survey of Temporal Knowledge Representations
A Survey of Temporal Knowledge Representations Advisor: Professor Abdullah Tansel Second Exam Presentation Knowledge Representations logic-based logic-base formalisms formalisms more complex and difficult
More informationSPATIAL INFORMATION GRID AND ITS APPLICATION IN GEOLOGICAL SURVEY
SPATIAL INFORMATION GRID AND ITS APPLICATION IN GEOLOGICAL SURVEY K. T. He a, b, Y. Tang a, W. X. Yu a a School of Electronic Science and Engineering, National University of Defense Technology, Changsha,
More informationAalto University 2) University of Oxford
RFID-Based Logistics Monitoring with Semantics-Driven Event Processing Mikko Rinne 1), Monika Solanki 2) and Esko Nuutila 1) 23rd of June 2016 DEBS 2016 1) Aalto University 2) University of Oxford Scenario:
More informationA conceptualization is a map from the problem domain into the representation. A conceptualization specifies:
Knowledge Sharing A conceptualization is a map from the problem domain into the representation. A conceptualization specifies: What sorts of individuals are being modeled The vocabulary for specifying
More informationSPARQL Rewriting for Query Mediation over Mapped Ontologies
SPARQL Rewriting for Query Mediation over Mapped Ontologies Konstantinos Makris*, Nektarios Gioldasis*, Nikos Bikakis**, Stavros Christodoulakis* *Laboratory of Distributed Multimedia Information Systems
More informationTowards a Web application for viewing Spatial Linked Open Data of Rotterdam
Towards a Web application for viewing Spatial Linked Open Data of Rotterdam Godelief Abhilakh Missier Msc Geomatics for the Built Environment P5 presentation 22-06-2015 Challenge the future 1 Content 1.
More informationWEB MAP SERVICE (WMS) FOR GEOLOGICAL DATA GEORGE TUDOR
WEB MAP SERVICE (WMS) FOR GEOLOGICAL DATA GEORGE TUDOR WEB MAP SERVICE (WMS) - GENERALITIES Projects with data from different sources Geological data are in different GIS software format Large amount of
More informationFINNISH LINKED DATA PILOTS
FINNISH LINKED DATA PILOTS Kai Koistinen Data Linking by Indirect Reference Systems -workshop 5.9.2018 1 NLS FINLAND National Land Survey of Finland National mapping and cadastral agency Geodetic research
More informationTowards a Web MetOcean Model Map Service (WM3S) profile of WMS
Towards a Web MetOcean Model Map Service (WM3S) profile of WMS This is great...... but we are still confused What a mess... WMS? The MetOcean Spatial Data Infrastructure Why WMS? Current system works Production
More informationCOMP219: Artificial Intelligence. Lecture 19: Logic for KR
COMP219: Artificial Intelligence Lecture 19: Logic for KR 1 Overview Last time Expert Systems and Ontologies Today Logic as a knowledge representation scheme Propositional Logic Syntax Semantics Proof
More informationSPARQL Formalization
SPARQL Formalization Marcelo Arenas, Claudio Gutierrez, Jorge Pérez Department of Computer Science Pontificia Universidad Católica de Chile Universidad de Chile Center for Web Research http://www.cwr.cl
More informationCharacterizing user groups of DBpedia-NL through user log. Frank Walraven
Characterizing user groups of DBpedia-NL through user log analysis Frank Walraven - 2542405 What is DBpedia? Linked Data: A method of publishing structured data so that it can be interlinked and become
More informationMapOSMatic: city maps for the masses
MapOSMatic: city maps for the masses Thomas Petazzoni Libre Software Meeting July 9th, 2010 Outline 1 The story 2 MapOSMatic 3 Behind the web page 4 Pain points 5 Future work 6 Conclusion Thomas Petazzoni
More informationRetrieval by Content. Part 2: Text Retrieval Term Frequency and Inverse Document Frequency. Srihari: CSE 626 1
Retrieval by Content Part 2: Text Retrieval Term Frequency and Inverse Document Frequency Srihari: CSE 626 1 Text Retrieval Retrieval of text-based information is referred to as Information Retrieval (IR)
More informationA Probabilistic Approach for Integrating Heterogeneous Knowledge Sources
A Probabilistic Approach for Integrating Heterogeneous Knowledge Sources Arnab Dutta, Christian Meilicke, Simone Ponzetto Which Superman exactly? Brandon Routh was an actor in Superman Uncertainty in the
More informationFrom Changes to Dynamics: Dynamics Analysis of Linked Open Data Sources
From Changes to Dynamics: Dynamics Analysis of Linked Open Data Sources Renata Dividino, Thomas Gottron, Ansgar Scherp 2, and Gerd Gröner 3 WeST Institute for Web Science and Technologies University of
More informationExtending XML Query Language Xcerpt by Ontology Queries
Extending XML Query Language Xcerpt by Ontology Queries Włodzimierz Drabent Dept. of Computer and Information Science, Linköping University, S 581 83 Linköping, Sweden Institute of Computer Science, Polish
More informationDynamic Ontology Service for Historical Persons and Places Based on Crowdsourcing
Dynamic Ontology Service for Historical Persons and Places Based on Crowdsourcing 22.1.2016, COST RRL WG2 Workshop Jouni Tuominen Semantic Computing Research Group (SeCo), http://seco.cs.aalto.fi, Aalto
More informationScience Analysis Tools Design
Science Analysis Tools Design Robert Schaefer Software Lead, GSSC July, 2003 GLAST Science Support Center LAT Ground Software Workshop Design Talk Outline Definition of SAE and system requirements Use
More informationLogic Programming Techniques for Reasoning with Probabilistic Ontologies
Logic Programming Techniques for Reasoning with Probabilistic Ontologies Riccardo Zese, Elena Bellodi, Evelina Lamma and Fabrizio Riguzzi University of Ferrara, Italy riccardo.zese@unife.it Zese, Bellodi,
More informationAdvanced Topics in LP and FP
Lecture 1: Prolog and Summary of this lecture 1 Introduction to Prolog 2 3 Truth value evaluation 4 Prolog Logic programming language Introduction to Prolog Introduced in the 1970s Program = collection
More informationLecture 2: Axiomatic semantics
Chair of Software Engineering Trusted Components Prof. Dr. Bertrand Meyer Lecture 2: Axiomatic semantics Reading assignment for next week Ariane paper and response (see course page) Axiomatic semantics
More informationAn Introduction to GLIF
An Introduction to GLIF Mor Peleg, Ph.D. Post-doctoral Fellow, SMI, Stanford Medical School, Stanford University, Stanford, CA Aziz A. Boxwala, M.B.B.S, Ph.D. Research Scientist and Instructor DSG, Harvard
More informationUnit 4: SPARQL1.0 in Detail & SPARQL s formal semantics. Axel Polleres. Siemens AG Österreich All rights reserved.
Unit 4: SPARQL1.0 in Detail & SPARQL s formal semantics. Siemens AG Österreich. 2013. All rights reserved. Recall from Lecture 1/Assignment 1 Lots of RDF data already published, e.g. about Tim Berners-Lee
More informationTHE DESIGN AND IMPLEMENTATION OF A WEB SERVICES-BASED APPLICATION FRAMEWORK FOR SEA SURFACE TEMPERATURE INFORMATION
THE DESIGN AND IMPLEMENTATION OF A WEB SERVICES-BASED APPLICATION FRAMEWORK FOR SEA SURFACE TEMPERATURE INFORMATION HE Ya-wen a,b,c, SU Fen-zhen a, DU Yun-yan a, Xiao Ru-lin a,c, Sun Xiaodan d a. Institute
More informationKnowledge Sharing. A conceptualization is a map from the problem domain into the representation. A conceptualization specifies:
Knowledge Sharing A conceptualization is a map from the problem domain into the representation. A conceptualization specifies: What sorts of individuals are being modeled The vocabulary for specifying
More informationPublishing Census as Linked Open Data. A Case Study
Publishing Census as Linked Open Data. A Case Study Irene Petrou George Papastefanatos Theodore Dalamagas Institute for the Management of Information Systems RC Athena 2nd International Workshop on Open
More informationPropositional Logic: Logical Agents (Part I)
Propositional Logic: Logical Agents (Part I) This lecture topic: Propositional Logic (two lectures) Chapter 7.1-7.4 (this lecture, Part I) Chapter 7.5 (next lecture, Part II) Next lecture topic: First-order
More informationA Quick Look At Spyne
A Quick Look At Spyne Burak Arslan burak at arskom dot com dot tr April 7, 2013 1 What is Spyne? Spyne makes it convenient to expose your services using multiple protocols and/or transports. 2 What is
More informationSemaDrift: A Protégé Plugin for Measuring Semantic Drift in Ontologies
GRANT AGREEMENT: 601138 SCHEME FP7 ICT 2011.4.3 Promoting and Enhancing Reuse of Information throughout the Content Lifecycle taking account of Evolving Semantics [Digital Preservation] SemaDrift: A Protégé
More informationCOMP219: Artificial Intelligence. Lecture 19: Logic for KR
COMP219: Artificial Intelligence Lecture 19: Logic for KR 1 Overview Last time Expert Systems and Ontologies Today Logic as a knowledge representation scheme Propositional Logic Syntax Semantics Proof
More informationInnovation. The Push and Pull at ESRI. September Kevin Daugherty Cadastral/Land Records Industry Solutions Manager
Innovation The Push and Pull at ESRI September 2004 Kevin Daugherty Cadastral/Land Records Industry Solutions Manager The Push and The Pull The Push is the information technology that drives research and
More informationSpring 2016 Program Analysis and Verification. Lecture 3: Axiomatic Semantics I. Roman Manevich Ben-Gurion University
Spring 2016 Program Analysis and Verification Lecture 3: Axiomatic Semantics I Roman Manevich Ben-Gurion University Warm-up exercises 1. Define program state: 2. Define structural semantics configurations:
More informationBasics HTTP. requests. Ryan E. Freckleton. PySprings. May 24, 2016
PySprings May 24, 2016 >>> import r e q u e s t s >>> r = r e q u e s t s. g e t ( h t t p s : / / a p i. g i t h u b. com/ u s e r, auth=( u s e r, p a s s ) ) >>> r. status_code 401 >>> r. h e a d e
More informationData Aggregation with InfraWorks and ArcGIS for Visualization, Analysis, and Planning
CI125230 Data Aggregation with InfraWorks and ArcGIS for Visualization, Analysis, and Planning Stephen Brockwell Brockwell IT Consulting Inc. Sean Kinahan Brockwell IT Consulting Inc. Learning Objectives
More informationDesigning and Evaluating Generic Ontologies
Designing and Evaluating Generic Ontologies Michael Grüninger Department of Industrial Engineering University of Toronto gruninger@ie.utoronto.ca August 28, 2007 1 Introduction One of the many uses of
More informationPeter Wood. Department of Computer Science and Information Systems Birkbeck, University of London Automata and Formal Languages
and and Department of Computer Science and Information Systems Birkbeck, University of London ptw@dcs.bbk.ac.uk Outline and Doing and analysing problems/languages computability/solvability/decidability
More informationAsynchronous Communication 2
Asynchronous Communication 2 INF4140 22.11.12 Lecture 11 INF4140 (22.11.12) Asynchronous Communication 2 Lecture 11 1 / 37 Overview: Last time semantics: histories and trace sets specification: invariants
More informationPublishing Skopje Air Quality Data as Linked Data
Publishing Skopje Air Quality Data as Linked Data Kostadin Mishev, Angjel Kjosevski, Nikola Kalemdzhievski, Nikola Koteli, Milos Jovanovik, Kosta Mitreski, Dimitar Trajanov Faculty of Computer Science
More informationHosted by Esri Official Distributor
Hosted by Esri Official Distributor Esri European User Conference October 15-17, 2012 Oslo, Norway Hosted by Esri Official Distributor Interoperability and Standards Support in ArcGIS 10.1 Roberto Lucchi
More informationKnowledge Expansion over Probabilistic Knowledge Bases. Yang Chen, Daisy Zhe Wang
Knowledge Expansion over Probabilistic Knowledge Bases Yang Chen, Daisy Zhe Wang {yang,daisyw}cise.ufl.edu Computer and Information Science and Engineering University of Florida ProbKB SIGMOD, Snowbird,
More informationThe Architecture of the Georgia Basin Digital Library: Using geoscientific knowledge in sustainable development
GEOLOGIJA 46/2, 343 348, Ljubljana 2003 The Architecture of the Georgia Basin Digital Library: Using geoscientific knowledge in sustainable development B. BRODARIC 1, M. JOURNEAY 2, S. TALWAR 2,3, R. HARRAP
More informationISO Series Standards in a Model Driven Architecture for Landmanagement. Jürgen Ebbinghaus, AED-SICAD
ISO 19100 Series Standards in a Model Driven Architecture for Landmanagement Jürgen Ebbinghaus, AED-SICAD 29.10.2003 The Company 100% SIEMENS PTD SIEMENS Business Services Shareholder & Strategic Business
More informationDARIAH Geo-Browser. Service for spa-o- temporal visualisa-on. Stefan E. Funk, Ubbo Veentjer, Stefan Schmunk State and University Library (SUB)
DARIAH Geo-Browser Service for spa-o- temporal visualisa-on Stefan E. Funk, Ubbo Veentjer, Stefan Schmunk Gö@ngen State and University Library (SUB) de.dariah.eu DARIAH Geo- Browser Overview 30.07.2014
More informationMaking interoperability persistent: A 3D geo database based on CityGML
Making interoperability persistent: A 3D geo database based on CityGML Alexandra Stadler, Claus Nagel, Gerhard König, Thomas H. Kolbe Technische Universität Berlin Chair of Geoinformation Science Motivation
More informationTest and Evaluation of an Electronic Database Selection Expert System
282 Test and Evaluation of an Electronic Database Selection Expert System Introduction As the number of electronic bibliographic databases available continues to increase, library users are confronted
More informationSemantic Evolution of Geospatial Web Services: Use Cases and Experiments in the Geospatial Semantic Web
Semantic Evolution of Geospatial Web Services: Use Cases and Experiments in the Geospatial Semantic Web Joshua Lieberman, Todd Pehle, Mike Dean Traverse Technologies, Inc., Northrop Grumman Information
More informationCSE 241 Class 1. Jeremy Buhler. August 24,
CSE 41 Class 1 Jeremy Buhler August 4, 015 Before class, write URL on board: http://classes.engineering.wustl.edu/cse41/. Also: Jeremy Buhler, Office: Jolley 506, 314-935-6180 1 Welcome and Introduction
More informationData Aggregation with InfraWorks and ArcGIS for Visualization, Analysis, and Planning
Data Aggregation with InfraWorks and ArcGIS for Visualization, Analysis, and Planning Stephen Brockwell President, Brockwell IT Consulting, Inc. Join the conversation #AU2017 KEYWORD Class Summary Silos
More informationTroubleshooting Replication and Geodata Services. Liz Parrish & Ben Lin
Troubleshooting Replication and Geodata Services Liz Parrish & Ben Lin AGENDA: Troubleshooting Replication and Geodata Services Overview Demo Troubleshooting Q & A Overview of Replication Liz Parrish What
More informationWho are we? Cesena Security and Network Applications. Why join CeSeNA?
Unexpected inputs: the danger of data and code injection Who are we? Cesena Security and Network Applications We like computer security and we want to share our knowledge. Founded by Marco Ramilli in 2005.
More informationDefinite Logic Programs
Chapter 2 Definite Logic Programs 2.1 Definite Clauses The idea of logic programming is to use a computer for drawing conclusions from declarative descriptions. Such descriptions called logic programs
More informationSchema Free Querying of Semantic Data. by Lushan Han
Schema Free Querying of Semantic Data by Lushan Han Thesis submitted to the Faculty of the Graduate School of the University of Maryland in partial fulfillment of the requirements for the degree of PhD
More informationUnderstanding Interlinked Data
Understanding Interlinked Data Visualising, Exploring, and Analysing Ontologies Olaf Noppens and Thorsten Liebig (Ulm University, Germany olaf.noppens@uni-ulm.de, thorsten.liebig@uni-ulm.de) Abstract Companies
More informationProgram Analysis Part I : Sequential Programs
Program Analysis Part I : Sequential Programs IN5170/IN9170 Models of concurrency Program Analysis, lecture 5 Fall 2018 26. 9. 2018 2 / 44 Program correctness Is my program correct? Central question for
More informationFramework for on an open 3D urban analysis platform based on OGC Web Services
Platzhalter für Bild, Bild auf Titelfolie hinter das Logo einsetzen Framework for on an open 3D urban analysis platform based on OGC Web Services Marc-O. Löwner & Thomas Adolphi (née Becker) Technische
More informationOverview. Knowledge-Based Agents. Introduction. COMP219: Artificial Intelligence. Lecture 19: Logic for KR
COMP219: Artificial Intelligence Lecture 19: Logic for KR Last time Expert Systems and Ontologies oday Logic as a knowledge representation scheme Propositional Logic Syntax Semantics Proof theory Natural
More informationOrdering, Indexing, and Searching Semantic Data: A Terminology Aware Index Structure
Ordering, Indexing, and Searching Semantic Data: A Terminology Aware Index Structure by Jeffrey Pound A thesis presented to the University of Waterloo in fulfillment of the thesis requirement for the degree
More informationText and multimedia languages and properties
Text and multimedia languages and properties (Modern IR, Ch. 6) I VP R 1 Introduction Metadata Text Markup Languages Multimedia Trends and Research Issues Bibliographical Discussion I VP R 2 Introduction
More informationSimilarity-based Learning Methods for the Semantic Web
Similarity-based Learning Methods for the Semantic Web Claudia d Amato Supervisor: Prof. Floriana Esposito Coordinator: Prof. Annamaria Fanelli Acknowledgement At the end of the time spent for reaching
More informationSpring 2015 Program Analysis and Verification. Lecture 4: Axiomatic Semantics I. Roman Manevich Ben-Gurion University
Spring 2015 Program Analysis and Verification Lecture 4: Axiomatic Semantics I Roman Manevich Ben-Gurion University Agenda Basic concepts of correctness Axiomatic semantics (pages 175-183) Hoare Logic
More informationDEKDIV: A Linked-Data-Driven Web Portal for Learning Analytics Data Enrichment, Interactive Visualization, and Knowledge Discovery
DEKDIV: A Linked-Data-Driven Web Portal for Learning Analytics Data Enrichment, Interactive Visualization, and Knowledge Discovery Yingjie Hu, Grant McKenzie, Jiue-An Yang, Song Gao, Amin Abdalla, and
More informationRDFLog: It s like Datalog for RDF
RDFLog: It s like Datalog for RDF François Bry 1, Tim Furche 1, Clemens Ley 2, Benedikt Linse 1, and Bruno Marnette 2 1 Institute for Informatics, University of Munich, Oettingenstraße 67, D-80538 München,
More informationLecture 4: Proposition, Connectives and Truth Tables
Discrete Mathematics (II) Spring 2017 Lecture 4: Proposition, Connectives and Truth Tables Lecturer: Yi Li 1 Overview In last lecture, we give a brief introduction to mathematical logic and then redefine
More informationArchaeoKM: Managing Archaeological data through Archaeological Knowledge
Computer Applications and Quantitative Methods in Archeology - CAA 2010 Fco. Javier Melero & Pedro Cano (Editors) ArchaeoKM: Managing Archaeological data through Archaeological Knowledge A. Karmacharya
More informationD2D SALES WITH SURVEY123, OP DASHBOARD, AND MICROSOFT SSAS
D2D SALES WITH SURVEY123, OP DASHBOARD, AND MICROSOFT SSAS EDWARD GAUSE, GISP DIRECTOR OF INFORMATION SERVICES (ENGINEERING APPS) HTC (HORRY TELEPHONE COOP.) EDWARD GAUSE, GISP DIRECTOR OF INFORMATION
More informationStatus Finland Eero Hietanen NLS-FI SDI.Next: Linked Spatial Data in Europe 12th of March 2019
Open European Location Services Title Speaker Event Date Status Finland Eero Hietanen NLS-FI SDI.Next: Linked Spatial Data in Europe 12th of March 2019 #OpenELS #OpenELS Content 1. National Geospatial
More informationCombining safe rules and ontologies by interfacing of reasoners
Combining safe rules and ontologies by interfacing of reasoners Uwe Aßmann, Jakob Henriksson, Jan Małuszyński PPSWR06, Budva, Montenegro, 10 th June 2006 The objective Define a scheme that from given Rule
More informationGeoref - Linked Data Deployment for Spatial Data; Finnish Initiative
Georef - Linked Data Deployment for Spatial Data; Finnish Initiative Esa TIAINEN, Finland Key words: Linked Data, Semantics, Ontology, Web, RDF, Big Data SUMMARY 'Georef' is an initiative for a service
More informationAbstract parsing: static analysis of dynamically generated string output using LR-parsing technology
Abstract parsing: static analysis of dynamically generated string output using LR-parsing technology Kyung-Goo Doh 1, Hyunha Kim 1, David A. Schmidt 2 1. Hanyang University, Ansan, South Korea 2. Kansas
More informationA Review of Kuiper s: Spatial Semantic Hierarchy
A Review of Kuiper s: Spatial Semantic Hierarchy Okuary Osechas Comp-150: Behavior Based Robotics 4 November 2010 Outline Introduction 1 Introduction 2 Summary of ideas 3 Ontological Levels 4 Interfacing
More informationTelecommunication Services Engineering (TSE) Lab. Chapter IX Presence Applications and Services.
Chapter IX Presence Applications and Services http://users.encs.concordia.ca/~glitho/ Outline 1. Basics 2. Interoperability 3. Presence service in clouds Basics 1 - IETF abstract model 2 - An example of
More informationSeamless Model Driven Development and Tool Support for Embedded Software-Intensive Systems
Seamless Model Driven Development and Tool Support for Embedded Software-Intensive Systems Computer Journal Lecture - 22nd June 2009 Manfred Broy Technische Universität München Institut für Informatik
More informationOutline Introduction Background Related Rl dw Works Proposed Approach Experiments and Results Conclusion
A Semantic Approach to Detecting Maritime Anomalous Situations ti José M Parente de Oliveira Paulo Augusto Elias Emilia Colonese Carrard Computer Science Department Aeronautics Institute of Technology,
More informationEffective Design of Trust Ontologies for Improvement in the Structure of Socio-Semantic Trust Networks
23 Effective Design of Trust Ontologies for Improvement in the Structure of Socio-Semantic Trust Networks Nima Dokoohaki 1, Mihhail Matskin 2 Abstract Social ecosystems are growing across the web and social
More informationMapOSMatic, free city maps for everyone!
MapOSMatic, free city maps for everyone! Thomas Petazzoni thomas.petazzoni@enix.org Libre Software Meeting 2012 http://www.maposmatic.org Thomas Petazzoni () MapOSMatic: free city maps for everyone! July
More informationDemaq: A Foundation for Declarative XML Message Processing
: A Foundation for Declarative Message Processing Alexander Böhm Carl-Christian Kanne Guido Moerkotte University of Mannheim Carl-Christian Kanne, January 8, 2007 - p. 1/20 Messaging Messaging Networks
More informationCS 347. Parallel and Distributed Data Processing. Spring Notes 11: MapReduce
CS 347 Parallel and Distributed Data Processing Spring 2016 Notes 11: MapReduce Motivation Distribution makes simple computations complex Communication Load balancing Fault tolerance Not all applications
More informationDISTRIBUTED GEOCOMPUTATIONS AND WEB COLLABORATION
DISTRIBUTED GEOCOMPUTATIONS AND WEB COLLABORATION J. A. Rod Blais Dept. of Geomatics Engineering Pacific Institute for the Mathematical Sciences University of Calgary, Calgary, Alberta T2N 1N4 blais@ucalgary.ca
More informationBasic Dublin Core Semantics
Basic Dublin Core Semantics DC 2006 Tutorial 1, 3 October 2006 Marty Kurth Head of Metadata Services Cornell University Library Getting started Let s introduce ourselves Let s discuss our expectations
More informationIUCLID Substance Data
1 Workshop on CEFIC LRI Project EEM9.4 LRI AMBIT with IUCLID6 support and extended search capabilities IUCLID Substance Data Nikolay Kochev Ideaconsult Ltd. Sofia,Bulgaria 2 Chemical structure vs. Substance
More informationReasoning under Uncertainty: Intro to Probability
Reasoning under Uncertainty: Intro to Probability Computer Science cpsc322, Lecture 24 (Textbook Chpt 6.1, 6.1.1) Nov, 2, 2012 CPSC 322, Lecture 24 Slide 1 Tracing Datalog proofs in AIspace You can trace
More informationIntroduction to ArcGIS Server Development
Introduction to ArcGIS Server Development Kevin Deege,, Rob Burke, Kelly Hutchins, and Sathya Prasad ESRI Developer Summit 2008 1 Schedule Introduction to ArcGIS Server Rob and Kevin Questions Break 2:15
More informationGeoQuery Tool to Pose Spatial Queries over the Web
GeoQuery Tool to Pose Spatial Queries over the Web http://geoquery.cs.jmu.edu/geoquery/ Nancy Wiegand wiegand@cs.wisc.edu Space Science and Engineering Center University of Wisconsin Madison Geospatial
More informationDescription Logics. Foundations of Propositional Logic. franconi. Enrico Franconi
(1/27) Description Logics Foundations of Propositional Logic Enrico Franconi franconi@cs.man.ac.uk http://www.cs.man.ac.uk/ franconi Department of Computer Science, University of Manchester (2/27) Knowledge
More information