Size: px
Start display at page:

Download ""

Transcription

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34 <a:owl_objectproperty rdf:about= produces rdfs:label= produces"> <rdfs:range rdf:resource="winery"/> <rdfs:domain rdf:resource="wine"/> </a:owl_objectproperty>

35

36

37

38

39

40

41

42

43

44

45

46

47

48

49

50

51

52

53

54

55

56

57

58

59

60

61

62

63

64

65

66

67

68

69

70

71

72

73

74

75

76

77

78 <Class ID="Beaujolais"> <comment datatype="string"> A kind of wine </comment> <subclassof> <Class ID="Wine"/> </subclassof> </Class>

79 <rdf:rdf xmlns:rdf=" xmlns:owl=" xmlns=" xmlns:xsd=" <owl:class rdf:id="beaujolais"> <rdfs:comment rdf:datatype= A kind of wine </rdfs:comment> <rdfs:subclassof> <owl:class rdf:id="wine"/> </rdfs:subclassof> </owl:class>

80

81 <rdf:description rdf:about="#beaujolais"> <rdfs:comment rdf:datatype=" A kind of wine </rdfs:comment> <rdfs:subclassof rdf:resource="#wine"/> <rdf:type rdf:resource=" </rdf:description>

82

83 <owl:class rdf:about="#wine"> <rdfs:comment rdf:datatype=" A portable liquid made from fermented fruit, usuall grapes </rdfs:comment> <rdfs:subclassof> <owl:class rdf:id="portableliquid"/> </rdfs:subclassof> </owl:class>

84 <owl:class rdf:id="beaujolais"> <rdfs:comment rdf:datatype=" A kind of wine </rdfs:comment> <rdfs:subclassof> <owl:class rdf:id="wine"/> </rdfs:subclassof> </owl:class>

85

86 <owl:class rdf:about="#wine">... <rdfs:subclassof> <owl:restriction> <owl:onproperty> <owl:objectproperty rdf:id="haswinedescriptor"/> </owl:onproperty> <owl:mincardinality rdf:datatype=" 1 </owl:mincardinality> </owl:restriction> </rdfs:subclassof>... </owl:class>

87

88

89

90

91

92

93

94

95

96

97

98 <rdf:rdf xmlns:rdf=" xmlns:xsd=" xmlns:rdfs=" xmlns=" xml:base=" > <rdf:description rdf:about="#chateaumorgonbeajolais"> <madefromfruit rdf:resource="#grapes"/> <haswinedescriptor rdf:resource="#red"/> <rdf:type rdf:resource="#beaujolais"/> </rdf:description>... </rdf:rdf>

99 <?xml version="1.0"?> <rdf:rdf xmlns:rdf=" Description of resource is specified here... </rdf:rdf>

100 <rdf:description rdf:about="#chateaumorgonbeajolais"> <madefromfruit rdf:resource="#grapes"/> <haswinedescriptor rdf:resource="#red"/> <rdf:type rdf:resource="#beaujolais"/> </rdf:description>

101

102 type, Class type, Property subclassof type range, domain

103

104

105

106 <owl:class rdf:about="#wine"> <rdfs:comment rdf:datatype=" A portable liquid made from fermented fruit </rdfs:comment> <rdfs:subclassof> <owl:restriction> <owl:onproperty> <owl:objectproperty rdf:id="haswinedescriptor"/> </owl:onproperty> <owl:mincardinality rdf:datatype=" </owl:mincardinality> </owl:restriction> </rdfs:subclassof> <rdfs:subclassof> <owl:class rdf:id="portableliquid"/> </rdfs:subclassof> </owl:class>

107

108 owl:class rdf:property rdfs:subclassof rdfs:domain rdfs:range Individual equivalentclass equivalentproperty sameindividualas differentfrom alldifferent Imports priorversion backwardcompatiblewith incompatibewith inverseof TransitiveProperty FunctionalProperty InverseFunctionalProp erty SymetricProperty mincardinality (0,1) maxcardinality (0,1) Cardinality (0,1) allvaluesfrom somevaluesfrom

109 oneof disjointwith equivalentclass rdfs:subclassof mincardinality maxcardinality cardinality unionof complementof intersectionof hasvalue

110 <owl:class rdf:id="winery"/> <owl:class rdf:id="region"/> <owl:class rdf:id="consumablething /> <Region rdf:id="centralcoastregion"/> <owl:objectproperty rdf:id="madefromgrape"> <rdfs:domain rdf:resource="#wine"/> <rdfs:range rdf:resource="#winegrape"/> </owl:objectproperty>

111 Sub-Classes <owl:class rdf:id="winedescriptor" /> <owl:class rdf:id="winecolor"> <rdfs:subclassof rdf:resource="#winedescriptor"/>... </owl:class> Property <owl:objectproperty rdf:id="haswinedescriptor"> Hierarchy <rdfs:domain rdf:resource="#wine" /> <rdfs:range rdf:resource="#winedescriptor"/> </owl:objectproperty> <owl:objectproperty rdf:id="hascolor"> <rdfs:subpropertyof rdf:resource="#haswinedescriptor"/> <rdfs:range rdf:resource="#winecolor" />... </owl:objectproperty>

112

113

114

115

116

117

118

119

120

121

122

123

124

125

126

127

Web Ontology Language (OWL)

Web Ontology Language (OWL) Web Ontology Language (OWL) Need meaning beyond an object-oriented type system RDF (with RDFS) captures the basics, approximating an object-oriented type system OWL provides some of the rest OWL standardizes

More information

Description Logics. decidable, supported by automatic reasoning systems

Description Logics. decidable, supported by automatic reasoning systems Description logics Description Logics q A family of KR formalisms, based on FOPL decidable, supported by automatic reasoning systems q Used for modelling of application domains q Classification of concepts

More information

Description logics. Description Logics. Applications. Outline. Syntax - AL. Tbox and Abox

Description logics. Description Logics. Applications. Outline. Syntax - AL. Tbox and Abox Description Logics Description logics A family of KR formalisms, based on FOPL decidable, supported by automatic reasoning systems Used for modelling of application domains Classification of concepts and

More information

Knowledge Representation and Description Logic Part 3

Knowledge Representation and Description Logic Part 3 Knowledge Representation and Description Logic Part 3 Renata Wassermann renata@ime.usp.br Computer Science Department University of São Paulo September 2014 IAOA School Vitória Renata Wassermann Knowledge

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

Semantic Web Languages Towards an Institutional Perspective

Semantic Web Languages Towards an Institutional Perspective Semantic Web Languages Towards an Institutional Perspective Dorel Lucanu 1,YuanFangLi 2, and Jin Song Dong 2 1 Faculty of Computer Science A.I.Cuza University Iaşi, Romania dlucanu@info.uaic.ro 2 School

More information

Model-theoretic Semantics

Model-theoretic Semantics Model-theoretic Semantics 1 Semantics Intro I What is the semantics of the following statement, according to RDF and according to RDFS? Ex:SpaceAccessory rdfs:subclassof ex:product 2 Semantics Intro II

More information

ALOE A Graphical Editor for OWL Ontologies

ALOE A Graphical Editor for OWL Ontologies ALOE A Graphical Editor for OWL Ontologies Masterarbeit der Philosophisch-naturwissenschaftlichen Fakultät der Universität Bern vorgelegt von Daria Spescha 2005 Leiter der Arbeit: Prof. Dr. Gerhard Jäger,

More information

APPLICATION OF ONTOLOGIES AND SEMANTIC WEB FOR FACILITATION OF ECOLOGY

APPLICATION OF ONTOLOGIES AND SEMANTIC WEB FOR FACILITATION OF ECOLOGY Доклади на Българската академия на науките Comptes rendus de l Académie bulgare des Sciences Tome 65, No 5, 2012 MATHEMATIQUES Informatique APPLICATION OF ONTOLOGIES AND SEMANTIC WEB FOR FACILITATION OF

More information

OWL 2 Rules (Part 1) Tutorial at ESWC2009 May 31, Pascal Hitzler. AIFB, Universität Karlsruhe (TH) Markus Krötzsch

OWL 2 Rules (Part 1)  Tutorial at ESWC2009 May 31, Pascal Hitzler. AIFB, Universität Karlsruhe (TH) Markus Krötzsch OWL 2 Rules (Part 1) Tutorial at ESWC2009 May 31, 2009 Pascal Hitzler AIFB, Universität Karlsruhe (TH) Markus Krötzsch Sebastian Rudolph http://www.pascal-hitzler.de http://korrekt.org http://www.sebastian-rudolph.de

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

A note on the history of the document: RDF Formalization, by Draltan Marin

A note on the history of the document: RDF Formalization, by Draltan Marin A note on the history of the document: RDF Formalization, by Draltan Marin Claudio Gutierrez Computer Science Department, Universidad de Chile Santiago de Chile, May 2006 Draltan Marin, in 2004 a student

More information

Minimal Deductive Systems for RDF

Minimal Deductive Systems for RDF Minimal Deductive Systems for RDF Sergio Muñoz, Jorge Pérez, Claudio Gutierrez Department of Computer Science Universidad de Chile Pontificia Universidad Católica de Chile Center for Web Research http://www.cwr.cl

More information

Ontology-based Unit Test Generation

Ontology-based Unit Test Generation Ontology-based Unit Test Generation by Valeh Hosseinzadeh Nasser B.Sc., Amirkabir University of Technology, 2007 A THESIS SUBMITTED IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF Master of

More information

Ontology Evolution Analysis with OWL-MeT

Ontology Evolution Analysis with OWL-MeT Ontology Evolution Analysis with OWL-MeT Natalya Keberle 1, Yuriy Litvineno, Yuriy Gordeyev, Vadim Ermolayev Dept. of IT, Zaporozhye National University, Uraine neberle@gmail.com, jurlit@rambler.ru, ygchaos@mail.ru,

More information

314 Index. base interpretation, 50 base URI, 61 bottom concept, 43

314 Index. base interpretation, 50 base URI, 61 bottom concept, 43 Index AAT. See Art & Architecture Thesaurus (AAT) ABox. See assertional knowledge ACL. See Agent Communication Language (ACL) ADL. See Alexandria Digital Library (ADL) Adobe Extensible Metadata Platform,

More information

Research Article Anatomy Ontology Matching Using Markov Logic Networks

Research Article Anatomy Ontology Matching Using Markov Logic Networks Scientifica Volume 2016, Article ID 1010946, 7 pages http://dx.doi.org/10.1155/2016/1010946 Research Article Anatomy Ontology Matching Using Markov Logic Networks Chunhua Li, Pengpeng Zhao, Jian Wu, and

More information

Annotation algebras for RDFS

Annotation algebras for RDFS University of Edinburgh Semantic Web in Provenance Management, 2010 RDF definition U a set of RDF URI references (s, p, o) U U U an RDF triple s subject p predicate o object A finite set of triples an

More information

An Ontology and Concept Lattice Based Inexact Matching Method for Service Discovery

An Ontology and Concept Lattice Based Inexact Matching Method for Service Discovery An Ontology and Concept Lattice Based Inexact Matching Method for Service Discovery Tang Shancheng Communication and Information Institute, Xi an University of Science and Technology, Xi an 710054, China

More information

MODERN information systems are developed in opendistributed

MODERN information systems are developed in opendistributed 730 IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS PART A: SYSTEMS AND HUMANS, VOL. 41, NO. 4, JULY 2011 Open-Environmental Ontology Modeling Luis Iribarne, Nicolas Padilla, José Andrés Asensio, Javier

More information

APPROVAL SHEET. Uncertainty in Semantic Web. Doctor of Philosophy, 2005

APPROVAL SHEET. Uncertainty in Semantic Web. Doctor of Philosophy, 2005 APPROVAL SHEET Title of Dissertation: BayesOWL: A Probabilistic Framework for Uncertainty in Semantic Web Name of Candidate: Zhongli Ding Doctor of Philosophy, 2005 Dissertation and Abstract Approved:

More information

REPRESENTING COMPLEX TEMPORAL PHENOMENA FOR THE SEMANTIC WEB AND NATURAL LANGUAGE. Feng Pan

REPRESENTING COMPLEX TEMPORAL PHENOMENA FOR THE SEMANTIC WEB AND NATURAL LANGUAGE. Feng Pan REPRESENTING COMPLEX TEMPORAL PHENOMENA FOR THE SEMANTIC WEB AND NATURAL LANGUAGE by Feng Pan A Dissertation Presented to the FACULTY OF THE GRADUATE SCHOOL UNIVERSITY OF SOUTHERN CALIFORNIA In Partial

More information

RULE-BASED REASONING FOR SYSTEM DYNAMICS IN CELL SYSTEMS

RULE-BASED REASONING FOR SYSTEM DYNAMICS IN CELL SYSTEMS 25 RULE-BASED REASONING FOR SYSTEM DYNAMICS IN CELL SYSTEMS EUNA JEONG MASAO NAGASAKI SATORU MIYANO eajeong@ims.u-tokyo.ac.jp masao@ims.u-tokyo.ac.jp miyano@ims.u-tokyo.ac.jp Human Genome Center, Institute

More information

Graphical Models for Text Mining: Knowledge Extraction and Performance Estimation

Graphical Models for Text Mining: Knowledge Extraction and Performance Estimation UNIVERSITÀ DEGLI STUDI DI MILANO - BICOCCA Facoltà di Scienze Matematiche, Fisiche e Naturali Dipartimento di Informatica Sistemistica e Comunicazione Dottorato di Ricerca in Informatica - XXIII Ciclo

More information

ENHANCING MOBILE LEARNING WITH GEO-REFERENCED LEARNING OBJECTS

ENHANCING MOBILE LEARNING WITH GEO-REFERENCED LEARNING OBJECTS Vol. 4, No. 2, pp. 16-30 ISSN: 1645 7641 ENHANCING MOBILE LEARNING WITH GEO-REFERENCED LEARNING OBJECTS Claude Moulin Technology University of Compiègne, Heudiasyc, CNRS, FRANCE claude.moulin@utc.fr Andrea

More information

Semantic Matching for Stream Reasoning

Semantic Matching for Stream Reasoning Institutionen för Datavetenskap Department of Computer and Information Science Master s thesis Semantic Matching for Stream Reasoning by Zlatan Dragisic LIU-IDA/LITH-EX-A 11/041 SE 2011-10-03 Linköpings

More information

Query Processing on RDF data

Query Processing on RDF data Query Processing on RDF data Hai Huang B.E. (HFUT, China) M.E. (IIM of CAS, China) A dissertation submitted to the Faculty of Information and Communication Technologies Swinburne University of Technology

More information

Ontology for observations and sampling features, with alignments to existing models

Ontology for observations and sampling features, with alignments to existing models Ontology for observations and sampling features, with alignments to existing models Editor(s): Mark Gahegan, University of Auckland, New Zealand Solicited review(s): Peter Fox, Rensselaer Polytechnic Institute,

More information

FOUNDATIONS OF SEMANTIC WEB TECHNOLOGIES

FOUNDATIONS OF SEMANTIC WEB TECHNOLOGIES FOUNDATIONS OF SEMANTIC WEB TECHNOLOGIES OWL & Description Logics Markus Krötzsch Dresden, 16 May 2014 Content Overview & XML Introduction into RDF RDFS Syntax & Intuition Tutorial 1 RDFS Semantics RDFS

More information

Merging and Aligning Ontologies in dl-programs

Merging and Aligning Ontologies in dl-programs Merging and Aligning Ontologies in dl-programs Kewen Wang 1, Grigoris Antoniou 2, Rodney Topor 1, and Abdul Sattar 1 1 Griffith University, Australia {k.wang,r.topor,a.sattar}@griffith.edu.au 2 University

More information

mmcif in Structural Bioinformatics

mmcif in Structural Bioinformatics mmcif in Structural Bioinformatics John Westbrook Rutgers, The State University of New Jersey www.wwpdb.org Overview Brief history of mmcif development & implementation How the wwpdb archives structure,

More information

Extended RDF as a Semantic Foundation of Rule Markup Languages

Extended RDF as a Semantic Foundation of Rule Markup Languages Journal of Artificial Intelligence Research (2008) Submitted 3/06; published /08 Extended RDF as a Semantic Foundation of Rule Markup Languages Anastasia Analyti Institute of Computer Science, FORTH-ICS,

More information

BGP Query Answering against Dynamic RDF Databases

BGP Query Answering against Dynamic RDF Databases BGP Query Answering against Dynamic RDF Databases François Goasdoué, Ioana Manolescu, Alexandra Roatis To cite this version: François Goasdoué, Ioana Manolescu, Alexandra Roatis. BGP Query Answering against

More information

A critical evaluation of ontology languages for geographic information retrieval on the Internet

A critical evaluation of ontology languages for geographic information retrieval on the Internet Journal of Visual Languages and Computing 16 (2005) 331 358 Journal of Visual Languages & Computing www.elsevier.com/locate/jvlc A critical evaluation of ontology languages for geographic information retrieval

More information

INTEGRITY CONSTRAINTS FOR THE SEMANTIC WEB: AN OWL 2 DL EXTENSION

INTEGRITY CONSTRAINTS FOR THE SEMANTIC WEB: AN OWL 2 DL EXTENSION INTEGRITY CONSTRAINTS FOR THE SEMANTIC WEB: AN OWL 2 DL EXTENSION By Jiao Tao A Thesis Submitted to the Graduate Faculty of Rensselaer Polytechnic Institute in Partial Fulfillment of the Requirements for

More information

Semantic GIS GeoSPARQL

Semantic GIS GeoSPARQL Semantic GIS GeoSPARQL Michal Med michal.med@fel.cvut.cz December 20, 2018 Michal Med (michal.med@fel.cvut.cz) Semantic GIS GeoSPARQL December 20, 2018 1 / 47 Outline 1 WTF is GIS?? 2 Usage of GIS 3 Linked

More information

Merging and semantics of biochemical models

Merging and semantics of biochemical models Merging and semantics of biochemical models Wolfram Liebermeister Institut für Biochemie, Charite Universitätsmedizin Berlin wolfram.liebermeister@charite.de Bottom up Vision 1: Join existing kinetic models

More information

ONTOLOGY FOR CONTEXT-AWARE VISUALIZATION OF SPATIAL DATA IN MOBILE DEVICES

ONTOLOGY FOR CONTEXT-AWARE VISUALIZATION OF SPATIAL DATA IN MOBILE DEVICES ONTOLOGY FOR CONTEXT-AWARE VISUALIZATION OF SPATIAL DATA IN MOBILE DEVICES O. Akcay a, *, O. Altan a a Istanbul Technical University, Faculty of Civil Engineering, 34469 Maslak Istanbul, Turkey (akcayoz,

More information

Spatial Ontology for the Production Domain of Petroleum Geology

Spatial Ontology for the Production Domain of Petroleum Geology Georgia State University ScholarWorks @ Georgia State University Geosciences Theses Department of Geosciences 5-11-2012 Spatial Ontology for the Production Domain of Petroleum Geology Dickson M. Liadey

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

A Sorted-Graph Unification Approach to the Semantic Web

A Sorted-Graph Unification Approach to the Semantic Web A Sorted-Graph Unification Approach to the Semantic Web Hassan Aït-Kaci Senior Technical Staff Member IBM Canada Ltd. OSF Graph Constraint Formalism Outline Semantic Web formalisms Graphs as constraints

More information

Place, Period, and Setting for Linked Data Gazetteers

Place, Period, and Setting for Linked Data Gazetteers Place, Period, and Setting for Linked Data Gazetteers Karl Grossner 1, Krzysztof Janowicz 2, and Carsten Keßler 3 1Stanford University; 2 University of California, Santa Barbara; 3 Hunter College, CUNY

More information

Recent progress on geologic time ontologies and considerations for future works

Recent progress on geologic time ontologies and considerations for future works Recent progress on geologic time ontologies and considerations for future works Xiaogang Ma*, Peter Fox Tetherless World Constellation, Rensselaer Polytechnic Institute, 110 8th Street, Troy, NY 12180,

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

Reconciling concepts and relations in heterogeneous ontologies

Reconciling concepts and relations in heterogeneous ontologies Reconciling concepts and relations in heterogeneous ontologies Chiara Ghidini and Luciano Serafini ITC-IRST Via Sommarive 18 I-38040 Trento, Italy {ghidini,serafini}@itc.it Abstract. In the extensive usage

More information

Expressing Knowledge about Protein Interactions in Attempto Controlled English

Expressing Knowledge about Protein Interactions in Attempto Controlled English Expressing Knowledge about Protein Interactions in Attempto Controlled English Diploma Thesis in Computer Science submitted by Tobias Kuhn Zurich, Switzerland t.kuhn@gmx.ch Student ID: 01-711-332 Department

More information

Logical Foundations for the Semantic Web. Ian Horrocks and Ulrike Sattler University of Manchester Manchester, UK {horrocks

Logical Foundations for the Semantic Web. Ian Horrocks and Ulrike Sattler University of Manchester Manchester, UK {horrocks Logical Foundations for the Semantic Web Ian Horrocks and Ulrike Sattler University of Manchester Manchester, UK {horrocks sattler}@cs.man.ac.uk Introduction History of the Semantic Web Web was invented

More information

Reconciling concepts and relations in heterogeneous ontologies

Reconciling concepts and relations in heterogeneous ontologies 1 Reconciling concepts and relations in heterogeneous ontologies Chiara Ghidini and Luciano Serafini ITC-IRST Via Sommarive 18 I-38040 Trento, Italy {ghidini,serafini}@itc.it Abstract In the extensive

More information

Flexible Querying for SPARQL

Flexible Querying for SPARQL Flexible Querying for SPARQL Andrea Calì 1,2, Riccardo Frosini 1, Alexandra Poulovassilis 1, Peter T. Wood 1 1 Dept. of Computer Science and Inf. Systems, Birkbeck University of London, UK 2 Oxford-Man

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

Approximation and Relaxation of Semantic Web Path Queries

Approximation and Relaxation of Semantic Web Path Queries *Manuscript Click here to view linked References Approximation and Relaxation of Semantic Web Path Queries Alexandra Poulovassilis a, Petra Selmer a, Peter T. Wood a a Knowledge Lab, Department of Computer

More information

Representing Phenotypes in OWL

Representing Phenotypes in OWL Representing Phenotypes in OWL Chris Mungall, Georgios Gkoutos, Nicole Washington and Suzanna Lewis Abstract. Accurate representation of phenotypes using ontologies is important in biology and biomedicine.

More information

RDF Workshop. ChEMBL Examples and Tutorial. Mark Davies. ChEMBL Group, Technical Lead 30/04/2014

RDF Workshop. ChEMBL Examples and Tutorial. Mark Davies. ChEMBL Group, Technical Lead 30/04/2014 RDF Workshop ChEMBL Examples and Tutorial Mark Davies ChEMBL Group, Technical Lead 30/04/2014 Query 1 Find All Small Molecules PREFIX cco: SELECT?molecule WHERE {?molecule

More information

SBMLmerge, a System for Combining Biochemical Network Models

SBMLmerge, a System for Combining Biochemical Network Models 62 Genome Informatics 17(1): 62 71 (2006) SBMLmerge, a System for Combining Biochemical Network Models Marvin Schulz schulzma@molgen.mpg.de Edda Klipp klipp@molgen.mpg.de Jannis Uhlendorf uhlndorf@molgen.mpg.de

More information

Metadata for the Energy Performance Certificates of Buildings in Smart cities

Metadata for the Energy Performance Certificates of Buildings in Smart cities Metadata for the Energy Performance Certificates of Buildings in Smart cities Ana Alice Baptista University ofminho, Portugal International Conference on Dublin Core and Metadata Applications The SusCity

More information

Inline Evaluation of Hybrid Knowledge Bases

Inline Evaluation of Hybrid Knowledge Bases Inline Evaluation of Hybrid Knowledge Bases Guohui Xiao Vienna PhD School of Informatics Institute of Information Systems Vienna University of Technology January 23, 2014 1/71 Inline Evaluation of Hybrid

More information

Defining a water quality vocabulary using QUDT and ChEBI

Defining a water quality vocabulary using QUDT and ChEBI Defining a water quality vocabulary using QUDT and ChEBI B.A. Simons a, J. Yu a, & S.J.D. Cox a a CSIRO Land and Water Email: bruce.simons@csiro.au Abstract: Vocabularies of observed properties and associated

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

Towards Reconciling SPARQL and Certain Answers

Towards Reconciling SPARQL and Certain Answers Towards Reconciling SPARQL and Certain Answers Shqiponja Ahmetaj TU Vienna ahmetaj@dbai.tuwien.ac.at Mantas Šimkus TU Vienna simkus@dbai.tuwien.ac.at Wolfgang Fischl TU Vienna wfischl@dbai.tuwien.ac.at

More information

4 Complex schema matching

4 Complex schema matching 4 Complex schema matching We address in this chapter the problem of matching two schemas that belong to an expressive OWL dialect. We adopt an instance-based approach and, therefore, assume that a set

More information

Introduction to Description Logic and Ontology Languages

Introduction to Description Logic and Ontology Languages CS6999 Presentation Introduction to Description Logic and Ontology Languages Jidi (Judy) Zhao October 21, 2009 Talk Outline Introduction to Ontologies Introduction to Description Logic (DL) Reasoning in

More information

arxiv: v1 [cs.ai] 31 Jul 2011

arxiv: v1 [cs.ai] 31 Jul 2011 Reasoning in the OWL 2 Full Ontology Language using First-Order Automated Theorem Proving Michael Schneider 1 and Geoff Sutcliffe 2 1 FZI Research Center for Information Technology, Germany 2 University

More information

Research on Domain Ontology Construction Based on Thesaurus of Geographical Science

Research on Domain Ontology Construction Based on Thesaurus of Geographical Science 2nd International Conference on Automation, Mechanical Control and Computational Engineering (AMCCE 2017) Research on Domain Ontology Construction Based on Thesaurus of Geographical Science d Duan Linbo1

More information

nsparql: A Navigational Language for RDF 1

nsparql: A Navigational Language for RDF 1 nsparql: A Navigational Language for RDF 1 Jorge Pérez a,c, Marcelo Arenas a,c, Claudio Gutierrez b,c a Department of Computer Science, Pontificia Universidad Católica de Chile b Department of Computer

More information

Comparison between ontology distances (preliminary results)

Comparison between ontology distances (preliminary results) Comparison between ontology distances (preliminary results) Jérôme David, Jérôme Euzenat ISWC 2008 1 / 17 Context A distributed and heterogenous environment: the semantic Web Several ontologies on the

More information

Ontology Pre-Processor Language (OPPL) User s manual

Ontology Pre-Processor Language (OPPL) User s manual Ontology Pre-Processor Language (OPPL) User s manual Mikel Egaña Aranguren (1), Luigi Iannone (2), and Robert Stevens (2) (1) Ontology Engineering Group, School of Computer Science, Technical University

More information

Instance-level matching

Instance-level matching Instance-level matching Adam Sanchez, Tatiana Lesnikova, Jérôme David, Jérôme Euzenat To cite this version: Adam Sanchez, Tatiana Lesnikova, Jérôme David, Jérôme Euzenat. Instance-level matching. [reporttype

More information

Representing and Querying Validity Time in RDF and OWL: A Logic-Based Approach

Representing and Querying Validity Time in RDF and OWL: A Logic-Based Approach Representing and Querying Validity Time in RDF and OWL: A Logic-Based Approach Boris Motik a a Oxford University Computing Laboratory, Oxford, UK Abstract RDF(S) and OWL 2 can currently represent only

More information

Schema.Org Measurement Proposal

Schema.Org Measurement Proposal Schema.Org Measurement Proposal Version: 1.1 Author: Jason Johnson (jasjoh@microsoft.com) Summary Existing Ontology Proposal Examples Background Change Log Summary In order to support scenarios involving

More information

Comparing Vocabularies for Representing Geographical Features and Their Geometry

Comparing Vocabularies for Representing Geographical Features and Their Geometry Comparing Vocabularies for Representing Geographical Features and Their Geometry Ghislain Auguste Atemezing, Raphaël Troncy EURECOM, Sophia Antipolis, France, {auguste.atemezing, raphael.troncy}@eurecom.fr

More information

OWL Basics. Technologies for the Semantic Web. Building a Semantic Web. Ontology

OWL Basics. Technologies for the Semantic Web. Building a Semantic Web. Ontology Technologies for the Semantic Web OWL Basics COMP60421 Sean Bechhofer University of Manchester sean.bechhofer@manchester.ac.uk Metadata Resources are marked-up with descriptions of their content. No good

More information

On the Properties of Metamodeling in OWL

On the Properties of Metamodeling in OWL On the Properties of Metamodeling in OWL Boris Motik University of Manchester Manchester, UK bmotik cs.man.ac.uk August 25, 2007 Abstract A common practice in conceptual modeling is to separate the

More information

OWL Semantics COMP Sean Bechhofer Uli Sattler

OWL Semantics COMP Sean Bechhofer Uli Sattler OWL Semantics COMP62342 Sean Bechhofer sean.bechhofer@manchester.ac.uk Uli Sattler uli.sattler@manchester.ac.uk 1 Toward Knowledge Formalization Acquisition Process Elicit tacit knowledge A set of terms/concepts

More information

From Meaningful Orderings in the Web of Data to Multi-level Pattern Structures

From Meaningful Orderings in the Web of Data to Multi-level Pattern Structures From Meaningful Orderings in the Web of Data to Multi-level Pattern Structures Quentin Brabant, Miguel Couceiro, Amedeo Napoli, Justine Reynaud To cite this version: Quentin Brabant, Miguel Couceiro, Amedeo

More information

Please do not cite. Towards harmonizing property measurement standards

Please do not cite. Towards harmonizing property measurement standards JOURNAL OF SPATIAL INFORMATION SCIENCE Towards harmonizing property measurement standards Abdullah Kara 1, Volkan Çağdaş 1, Ümit Işıkdağ 2,Bulent Onur Turan 2 1Department of Surveying Engineering, Yildiz

More information

OWL Semantics. COMP60421 Sean Bechhofer University of Manchester

OWL Semantics. COMP60421 Sean Bechhofer University of Manchester OWL Semantics COMP60421 Sean Bechhofer University of Manchester sean.bechhofer@manchester.ac.uk 1 Technologies for the Semantic Web Metadata Resources are marked-up with descriptions of their content.

More information

Ontology of Units of Measure and Related Concepts

Ontology of Units of Measure and Related Concepts Semantic Web 0 (0) 1 1 IOS Press Ontology of Units of Measure and Related Concepts Hajo Rijgersberg a,, Mark van Assem b and Jan Top a,b a Food & Biobased Research, Wageningen University and Research centre,

More information

Dissertation. zur Erlangung des akademischen Grades Doktoringenieur (Dr.-Ing.) vorgelegt an der. Technische Universität Dresden. Fakultät Informatik

Dissertation. zur Erlangung des akademischen Grades Doktoringenieur (Dr.-Ing.) vorgelegt an der. Technische Universität Dresden. Fakultät Informatik Standard and Non-standard Reasoning in Description Logics Dissertation zur Erlangung des akademischen Grades Doktoringenieur (Dr.-Ing.) vorgelegt an der Technischen Universität Dresden Fakultät Informatik

More information

Logic and Reasoning in the Semantic Web (part II OWL)

Logic and Reasoning in the Semantic Web (part II OWL) Logic and Reasoning in the Semantic Web (part II OWL) Fulvio Corno, Laura Farinetti Politecnico di Torino Dipartimento di Automatica e Informatica e-lite Research Group http://elite.polito.it Outline Reasoning

More information

An ILP Perspective on the Semantic Web

An ILP Perspective on the Semantic Web An ILP Perspective on the Semantic Web Francesca A. Lisi and Floriana Esposito Dipartimento di Informatica, Università degli Studi di Bari Via Orabona 4, 70125 Bari, Italy {lisi, esposito}@di.uniba.it

More information

On the Properties of Metamodeling in OWL

On the Properties of Metamodeling in OWL On the Properties of Metamodeling in OWL Boris Motik FZI Research Center for Information Technologies at the University of Karlsruhe Karlsruhe, Germany motik@fzi.de Abstract. A common practice in conceptual

More information

An OWL Ontology for Quantum Mechanics

An OWL Ontology for Quantum Mechanics An OWL Ontology for Quantum Mechanics Marcin Skulimowski Faculty of Physics and Applied Informatics, University of Lodz Pomorska 149/153, 90-236 Lodz, Poland mskulim@uni.lodz.pl Abstract. An OWL ontology

More information

Using the Dempster-Shafer theory of evidence to resolve ABox inconsistencies. Andriy Nikolov Victoria Uren Enrico Motta Anne de Roeck

Using the Dempster-Shafer theory of evidence to resolve ABox inconsistencies. Andriy Nikolov Victoria Uren Enrico Motta Anne de Roeck Using the Dempster-Shafer theory of evidence to resolve ABox inconsistencies Andriy Nikolov Victoria Uren Enrico Motta Anne de Roeck Outline Motivation Algorithm description Limitations and future work

More information

Ontology of Units of Measure and Related Concepts

Ontology of Units of Measure and Related Concepts Semantic Web 0 (0) 1 1 IOS Press Ontology of Units of Measure and Related Concepts Hajo Rijgersberg a,, Mark van Assem b and Jan Top a,b a Food & Biobased Research, Wageningen University and Research centre,

More information

Improving Open Information Extraction for Semantic Web Tasks

Improving Open Information Extraction for Semantic Web Tasks Improving Open Information Extraction for Semantic Web Tasks Cheikh Hito Kacfah Emani, Catarina Ferreira da Silva, Bruno Fies, Parisa Ghodous To cite this version: Cheikh Hito Kacfah Emani, Catarina Ferreira

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

PR-OWL Bridging the gap to OWL semantics

PR-OWL Bridging the gap to OWL semantics PR-OWL 2.0 - Bridging the gap to OWL semantics Rommel N. Carvalho, Kathryn B. Laskey, and Paulo C.G. Costa Center of Excellence in C4I, George Mason University, USA rommel.carvalho@gmail.com, {klaskey,pcosta}@gmu.edu

More information

Ontology based local spatial data Infrastructure for smart City Development

Ontology based local spatial data Infrastructure for smart City Development Ontology based local spatial data Infrastructure for smart City Development Anuj Tiwari, Dr. Kamal Jain Department of Civil Engineering, Indian Institute of Technology Roorkee, India. anujtiwari.iitr@gmail.com

More information

Week 4. COMP62342 Sean Bechhofer, Uli Sattler

Week 4. COMP62342 Sean Bechhofer, Uli Sattler Week 4 COMP62342 Sean Bechhofer, Uli Sattler sean.bechhofer@manchester.ac.uk, uli.sattler@manchester.ac.uk Today Some clarifications from last week s coursework More on reasoning: extension of the tableau

More information

BUILD DEVELOPMENT ENVIRONMENT

BUILD DEVELOPMENT ENVIRONMENT 상황인지사례와시맨틱기술 (2) BUILD DEVELOPMENT ENVIRONMENT Protégé Jena 1. Environment 2. Install 3. Building an Ontology project Semantic Software Development Environment Source: John Hebeler, etc, Book: Semantic

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

Query-Oriented Summarization of RDF Graphs

Query-Oriented Summarization of RDF Graphs Query-Oriented Summarization of RDF Graphs Šejla Čebirić, François Goasdoué, Ioana Manolescu To cite this version: Šejla Čebirić, François Goasdoué, Ioana Manolescu. Query-Oriented Summarization of RDF

More information

DBpedia Ontology Enrichment for Inconsistency Detection and Statistical Schema Induction

DBpedia Ontology Enrichment for Inconsistency Detection and Statistical Schema Induction DBpedia Ontology Enrichment for Inconsistency Detection and Statistical Schema Induction Presentation By Tung Do 1. Statistical Schema Induction 2. DBpedia Ontology Enrichment for Inconsistency Detection

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

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

A RESOLUTION DECISION PROCEDURE FOR SHOIQ

A RESOLUTION DECISION PROCEDURE FOR SHOIQ A RESOLUTION DECISION PROCEDURE FOR SHOIQ Yevgeny Kazakov and Boris Motik The University of Manchester August 20, 2006 SHOIQ IS A DESCRIPTION LOGIC! Yevgeny Kazakov and Boris Motik A Resolution Decision

More information

The OntoNL Semantic Relatedness Measure for OWL Ontologies

The OntoNL Semantic Relatedness Measure for OWL Ontologies The OntoNL Semantic Relatedness Measure for OWL Ontologies Anastasia Karanastasi and Stavros hristodoulakis Laboratory of Distributed Multimedia Information Systems and Applications Technical University

More information

Francesco Beretta (CNRS UMR5190 LARHRA Université de Lyon) The symogih.org project and TEI : encoding structured historical data in XML texts

Francesco Beretta (CNRS UMR5190 LARHRA Université de Lyon) The symogih.org project and TEI : encoding structured historical data in XML texts Text Encoding Initiative Conference and members' meeting 2015 Lyon, 30 October 2015 Francesco Beretta (CNRS UMR5190 LARHRA Université de Lyon) The symogih.org project and TEI : encoding structured historical

More information

Geospatial Ontology Trade Study

Geospatial Ontology Trade Study Ontology for the Intelligence Community (OIC-2007) November 28-29, 2007 Columbia, Maryland Geospatial Ontology Trade Study James Ressler 1, Mike Dean 2 1 a james.ressler@ngc.com Northrop Grumman Corporation

More information

Linked Open Data. and Australia s GLAMs

Linked Open Data. and Australia s GLAMs Linked Open Data and Australia s GLAMs Outline Linked open data Phases GLAM LOD initiatives assessment experimentation production evaluation BNF LD4L Europeana Summary Odyssey #LODyssey https://storify.com/conal_tuohy/lodyssey

More information