Semantic Web SPARQL. Gerd Gröner, Matthias Thimm. July 16,

Size: px
Start display at page:

Download "Semantic Web SPARQL. Gerd Gröner, Matthias Thimm. July 16,"

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 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 information

Applying the Semantic Web to Computational Chemistry

Applying 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 information

I4-DX2 RDF Querying in Xcerpt

I4-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 information

UnSAID: Uncertainty and Structure in the Access to Intensional Data

UnSAID: 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 information

Sapienza 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. 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 information

GeomRDF : 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 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 information

Incomplete Information in RDF

Incomplete 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 information

Distributed data management with the rule-based language: Webdamlog

Distributed 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 information

Resource Description Framework (RDF) A basis for knowledge representation on the Web

Resource 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 information

Estimating query rewriting quality over LOD

Estimating 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 information

Querying for Provenance, Trust, Uncertainty and other Meta Knowledge in RDF 1

Querying 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 information

The Europeana Linked Open Data Server

The 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 information

Geospatial Semantics for Topographic Data

Geospatial 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 information

SPARQL Algebra Sebastian Rudolph

SPARQL 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 information

Question Answering on Statistical Linked Data

Question 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 information

A Survey of Temporal Knowledge Representations

A 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 information

SPATIAL INFORMATION GRID AND ITS APPLICATION IN GEOLOGICAL SURVEY

SPATIAL 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 information

Aalto University 2) University of Oxford

Aalto 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 information

A conceptualization is a map from the problem domain into the representation. A conceptualization specifies:

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 information

SPARQL Rewriting for Query Mediation over Mapped Ontologies

SPARQL 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 information

Towards a Web application for viewing Spatial Linked Open Data of Rotterdam

Towards 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 information

WEB MAP SERVICE (WMS) FOR GEOLOGICAL DATA GEORGE TUDOR

WEB 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 information

FINNISH LINKED DATA PILOTS

FINNISH 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 information

Towards a Web MetOcean Model Map Service (WM3S) profile of WMS

Towards 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 information

COMP219: Artificial Intelligence. Lecture 19: Logic for KR

COMP219: 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 information

SPARQL Formalization

SPARQL 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 information

Characterizing user groups of DBpedia-NL through user log. Frank Walraven

Characterizing 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 information

MapOSMatic: city maps for the masses

MapOSMatic: 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 information

Retrieval 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 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 information

A Probabilistic Approach for Integrating Heterogeneous Knowledge Sources

A 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 information

From Changes to Dynamics: Dynamics Analysis of Linked Open Data Sources

From 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 information

Extending XML Query Language Xcerpt by Ontology Queries

Extending 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 information

Dynamic Ontology Service for Historical Persons and Places Based on Crowdsourcing

Dynamic 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 information

Science Analysis Tools Design

Science 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 information

Logic Programming Techniques for Reasoning with Probabilistic Ontologies

Logic 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 information

Advanced Topics in LP and FP

Advanced 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 information

Lecture 2: Axiomatic semantics

Lecture 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 information

An Introduction to GLIF

An 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 information

Unit 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. 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 information

THE 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 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 information

Knowledge 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: 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 information

Publishing Census as Linked Open Data. A Case Study

Publishing 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 information

Propositional Logic: Logical Agents (Part I)

Propositional 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 information

A Quick Look At Spyne

A 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 information

SemaDrift: A Protégé Plugin for Measuring Semantic Drift in Ontologies

SemaDrift: 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 information

COMP219: Artificial Intelligence. Lecture 19: Logic for KR

COMP219: 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 information

Innovation. The Push and Pull at ESRI. September Kevin Daugherty Cadastral/Land Records Industry Solutions Manager

Innovation. 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 information

Spring 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 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 information

Basics HTTP. requests. Ryan E. Freckleton. PySprings. May 24, 2016

Basics 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 information

Data Aggregation with InfraWorks and ArcGIS for Visualization, Analysis, and Planning

Data 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 information

Designing and Evaluating Generic Ontologies

Designing 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 information

Peter Wood. Department of Computer Science and Information Systems Birkbeck, University of London Automata and Formal Languages

Peter 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 information

Asynchronous Communication 2

Asynchronous 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 information

Publishing Skopje Air Quality Data as Linked Data

Publishing 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 information

Hosted by Esri Official Distributor

Hosted 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 information

Knowledge Expansion over Probabilistic Knowledge Bases. Yang Chen, Daisy Zhe Wang

Knowledge 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 information

The Architecture of the Georgia Basin Digital Library: Using geoscientific knowledge in sustainable development

The 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 information

ISO Series Standards in a Model Driven Architecture for Landmanagement. Jürgen Ebbinghaus, AED-SICAD

ISO 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 information

DARIAH 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 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 information

Making interoperability persistent: A 3D geo database based on CityGML

Making 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 information

Test and Evaluation of an Electronic Database Selection Expert System

Test 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 information

Semantic 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 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 information

CSE 241 Class 1. Jeremy Buhler. August 24,

CSE 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 information

Data Aggregation with InfraWorks and ArcGIS for Visualization, Analysis, and Planning

Data 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 information

Troubleshooting Replication and Geodata Services. Liz Parrish & Ben Lin

Troubleshooting 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 information

Who are we? Cesena Security and Network Applications. Why join CeSeNA?

Who 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 information

Definite Logic Programs

Definite 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 information

Schema Free Querying of Semantic Data. by Lushan Han

Schema 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 information

Understanding Interlinked Data

Understanding 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 information

Program Analysis Part I : Sequential Programs

Program 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 information

Framework for on an open 3D urban analysis platform based on OGC Web Services

Framework 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 information

Overview. Knowledge-Based Agents. Introduction. COMP219: Artificial Intelligence. Lecture 19: Logic for KR

Overview. 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 information

Ordering, Indexing, and Searching Semantic Data: A Terminology Aware Index Structure

Ordering, 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 information

Text and multimedia languages and properties

Text 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 information

Similarity-based Learning Methods for the Semantic Web

Similarity-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 information

Spring 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 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 information

DEKDIV: 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 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 information

RDFLog: It s like Datalog for RDF

RDFLog: 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 information

Lecture 4: Proposition, Connectives and Truth Tables

Lecture 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 information

ArchaeoKM: Managing Archaeological data through Archaeological Knowledge

ArchaeoKM: 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 information

D2D SALES WITH SURVEY123, OP DASHBOARD, AND MICROSOFT SSAS

D2D 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 information

Status Finland Eero Hietanen NLS-FI SDI.Next: Linked Spatial Data in Europe 12th of March 2019

Status 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 information

Combining safe rules and ontologies by interfacing of reasoners

Combining 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 information

Georef - Linked Data Deployment for Spatial Data; Finnish Initiative

Georef - 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 information

Abstract 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 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 information

A Review of Kuiper s: Spatial Semantic Hierarchy

A 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 information

Telecommunication Services Engineering (TSE) Lab. Chapter IX Presence Applications and Services.

Telecommunication 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 information

Seamless Model Driven Development and Tool Support for Embedded Software-Intensive Systems

Seamless 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 information

Outline Introduction Background Related Rl dw Works Proposed Approach Experiments and Results Conclusion

Outline 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 information

Effective Design of Trust Ontologies for Improvement in the Structure of Socio-Semantic Trust Networks

Effective 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 information

MapOSMatic, free city maps for everyone!

MapOSMatic, 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 information

Demaq: A Foundation for Declarative XML Message Processing

Demaq: 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 information

CS 347. Parallel and Distributed Data Processing. Spring Notes 11: MapReduce

CS 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 information

DISTRIBUTED GEOCOMPUTATIONS AND WEB COLLABORATION

DISTRIBUTED 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 information

Basic Dublin Core Semantics

Basic 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 information

IUCLID Substance Data

IUCLID 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 information

Reasoning under Uncertainty: Intro to Probability

Reasoning 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 information

Introduction to ArcGIS Server Development

Introduction 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 information

GeoQuery Tool to Pose Spatial Queries over the Web

GeoQuery 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 information

Description Logics. Foundations of Propositional Logic. franconi. Enrico Franconi

Description 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