314 Index. base interpretation, 50 base URI, 61 bottom concept, 43
|
|
- Caroline Warner
- 6 years ago
- Views:
Transcription
1 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, 214 Agent Communication Language (ACL), 223 agent form, 220 adaptability, 222 autonomy, 221 coordination, 222 intelligence, 222 interactivity, 222 mobility, 222 wrapping, 223 Agent Special Interest Group, 220 Alexandria Digital Library (ADL), 277 Feature Type Thesaurus (FTT), 268 gazeetter, 277 Gazetteer Content Standard, 278 AL-family. See attributive language alphabet attributive language, 43 Datalog, 107 ANSI/NISO Z See Dublin Core (DC) antecedent SWRL, 116 application ontology, 27, 29 arbitrary negation, 43 Art & Architecture Thesaurus (AAT), 242, 260 Art applications metadata Categories for the Description of Works of Art (CDWA), 253 CIDOC Conceptual Reference Model (CIDOC CRM), 255 ISO ISO 21127:2006 Reference Ontology for Cultural Heritage Information, 255 VRA Core Categories, 256 ontology Spatial Annotation Ontology, 249 Visual Features Annotation Ontology, 251 semantic annotation of art images, 260 thesaurus Art & Architecture Thesaurus (AAT), 242 Getty vocabularies, 242 IconClass, 260 Union List of Artist Names (ULAN), 246 artificial intelligence, 11, 31 assertion, 40, 51 concept assertion, 51
2 314 Index consistency, 53 entailment, 54 inference problem, 54 realization problem, 54 role assertion, 51 assertional knowledge, 41, 51 at-least restriction, 43 at-most restriction, 43 atom SWRL, 115 TRIPLE, 122 atomic concept, 43 atomic formula. See atom atomic negation, 43 atomic process, 141 atomic role, 43 attribute, 58 attributive language, 43 alphabet, 43 arbitrary negation, 43 assertion, 51 concept assertion, 51 role assertion, 51 at-least restriction, 43 at-most restriction, 43 atomic concept, 43 atomic negation, 43 atomic role, 43 axiom, 49 equality, 49 inclusion, 49 bottom concept, 43 cardinality restriction, 43 concept description, 43 definition, 49 full existential quantification, 43 interpretation, 44, 51 intersection, 43 knowledge base, 51 language classes, 43 limited existential quantification, 43 model, 51 terminological axiom. See axiom union, 43 universal concept, 43 value restriction, 43 axiom, 49 equality, 49 inclusion, 49 base interpretation, 50 base URI, 61 bottom concept, 43 cardinality restriction, 43, 92 Catalogue Services Specification (OGC), 293 DescribeRecord, 293 GetCapabilities, 293 GetDomain, 293 GetRecordById, 293 GetRecords, 293 Categories for the Description of Works of Art (CDWA), 253 category, 32 prototype theory, 33 RDF, 69 CDWA. See Categories for the Description of Works of Art (CDWA) Cerebra Engine, 210 CIDOC Conceptual Reference Model (CIDOC CRM), 255 CIDOC CRM. See CIDOC Conceptual Reference Model (CIDOC CRM) class OWL, 88 RDF, 69 RDF Schema, 71 class axiom, 95 class disjointness, 95 class equivalence, 95 class description, 89 complement, 94 enumeration, 89 intersection, 93 property restriction, 90 cardinality restriction, 92 maximum cardinality restriction, 92 minimum cardinality restriction, 92 quantified restriction existential restriction, 90 universal restriction, 91 value restriction, 92 union, 94 classification problem, 53 clause TRIPLE, 123 competency question, 159 complement, 94
3 Index 315 complex concept. See concept description composite process, 141 concept assertion, 51 concept description, 38, 43, 44 classification problem, 53 disjoint, 52 equivalent, 44, 52 inference problem, 52 instance, 54 interpretation, 44 most general concept, 53 most specific concept, 53 satisfiable, 52 subsumed, 52 unsatisfiable, 52 consequent SWRL, 116 consistency, 53 constant attributive language, 51 Datalog, 107 content, 58 Content Standard for Digital Geospatial Metadata (CSDGM), 280 controlled vocabulary, 26 coordinate reference system (CRS), 267 CRS. See coordinate reference system (CRS) CSDGM. See Content Standard for Digital Geospatial Metadata (CSDGM) CYC, 193 microtheory, 193 OpenCYC subset. See OpenCYC Cycorp, 193 DAML, 31 DAML Library, 198 DAML+OIL, 31 DARPA Agent Markup Language. See DAML Datalog, 107 alphabet, 107 antecedent, 108 atom, 108 clause, 108 consequent, 108 constant, 107 fact, 108 head, 108 knowledge base, 108 mutually recursive rules, 108 predicate symbol, 107 range restricted variable, 108 recursive rule, 108 rule, 108 term, 107 variable, 107 datatype enumerated datatype, 98 OWL, 98 DC. See Dublin Core (DC) dc:. See Dublin Core (DC) vocabulary DC-Dot, 202 default namespace, 61 defined concept, 39, 49 definition, 39, 49 DescribeFeatureType, 279 DescribeRecord, 293 description language, 43 Description Logic, 35 DIF. See Directory Interchange Format (DIF) Directory Interchange Format (DIF), 303 disjoint class, 95 DL Implementation Group (DIG), 209 domain, 44 domain ontology, 27, 29 domain-task ontology, 29 Dublin Core (DC), 178, 231, 256 vocabulary, 64, 178 Dublin Core Metadata Initiative (DCMI), 178 Earth Observation System (EOS), 298 EDR, 196 effects, 140 element, 58 empty content, 58 empty-element tag, 58 end-tag, 58 entailment, 54 Enterprise ontology, 184 enumerated datatype, 98 enumeration, 89 EOS Data and Information System (EOSDIS), 298 HDF-EOS, 298 equality, 49 equivalent class, 95 equivalent sets of axioms, 49 Euro WordNet, 196
4 316 Index European Commission, 266 existential restriction, 90 expansion, 51, 53 Extensible Markup Language (XML). See XML extension, 50 extensional knowledge, 41 fact TRIPLE, 123 FaCT++, 210 feature, 266 Feature Type Thesaurus (FTT), 268 Federal Geospatial Data Committee (FGDC), 266, 302 FGDC. See Federal Geospatial Data Committee (FGDC) First-Order Logic, 36 FOAF, 231, See Friend of a Friend (FOAF) formal is-a hierarchy, 27 formal system, 9 formula, 122 fragment identifier, 59 frames, 27 Friend of a Friend (FOAF), 182, 231 FTP, 59 FTT. See Feature Type Thesaurus (FTT) full existential quantification, 43 GALEN, 197 Gartner, 197 gazetteer, 267, 277 ADL Gazetteer, 277 Geonames, 277 GEOnet Names Server (GNS), 277 Geospatial Names Information System (GNIS), 277 Getty Thesaurus of Geospatial Names (TGN), 277 standards ADL Gazetteer Content Standard, 278 Gazetteer Service Profile (OGC), 279 ISO 19112:2003 Spatial Referencing by Geospatial Identifiers, 278 Gazetteer Service Profile (OGC), 279 DescribeFeatureType, 279 GetCapabilities, 279 GetFeature, 279 GetGMLObject, 279 GCMD. See Global Change Master Directory (GCMD) generic and common sense ontology, 28 geodata.gov, 303 Geography Markup Language (GML), 296 Geonames, 277 GEOnet Names Server (GNS), 271, 277 geoportal, 300 NSDI geodata.gov, 303 geospatial applications gazetteer, 277 ADL Gazetteer, 277 Geonames, 277 GEOnet Names Server (GNS), 277 Geospatial Names Information System (GNIS), 277 Getty Thesaurus of Geospatial Names (TGN), 277 geoportal, 300 NSDI, 303 NSDI geodata.gov, 303 geospatial services HDF-EOS Web GIS Software Suite (NWGISS), 299 loosely coupled, 266 tightly coupled, 266 metadata Content Standard for Digital Geospatial Metadata (CSDGM), 280 Directory Interchange Format (DIF), 303 ISO 10115:2003 Geospatial Services Metadata Standard, 285 topic categories, 285 ISO 10119:2005 Geospatial Services Metadata Standard, 290, 293 Services Entry Resources Format (SERF), 303 metadata catalogue, 293 Global Change Master Directory (GCMD), 303 ontology Ontology of Geography, 272 OpenCYC Selected Vocabulary and Upper Ontology Geography, 272
5 Index 317 Semantic Web for Earth and Environmental Terminology (SWEET), 274 spatial data infrastructure (SDI), 300 Infrastructure for Spatial Information in Europe (INSPIRE), 300 taxonomy geospatial services taxonomy, 290 topic categories, 285 thesaurus Feature Type Thesaurus (FTT), 268 Getty Thesaurus of Geospatial Names (TGN), 277 geospatial data, 266 geospatial feature, 266 geospatial field, 267 Geospatial Names Information System (GNIS), 277 Geospatial One-Stop Initiative, 303 Geospatial Semantic Web, 265 geospatial services, 266 loosely coupled, 266 taxonomy, 290 tightly coupled, 266 geospatial Web service, 267 GetCapabilities, 279, 293, 296 GetDomain, 293 GetFeature, 279 GetFeatureInfo, 296 GetGMLObject, 279 GetMap, 296 GetRecordById, 293 GetRecords, 293 Getty Thesaurus of Geospatial Names (TGN), 277 Getty vocabularies, 242 Art & Architecture Thesaurus (AAT), 242 Getty Thesaurus of Geospatial Names (TGN), 277 Union List of Artist Names (ULAN), 246 Global Change Master Directory (GCMD), 303 glossary, 26 GNIS. See Geospatial Names Information System (GNIS) Gnowsis, 237 GNS. See GEOnet Names Server (GNS) Goddard Agent Architecture, 223 Agenda, 224 Agent Reasoning, 224 Execution, 224 Modeling and State component, 224 Planning, 224 Goddard Core. See Goddard Flight Space Center extended Dublin Core GUM, 195 HDF-EOS, 298 HDF-EOS Web GIS Software Suite (NWGISS), 299 head SWRL, 116 Horrocks Ontology Development Method, 171 HTML, 30, 58 HTTP, 59 Hypertext Markup Language. See HTML IBM Integrated Ontology Development Toolkit, 212 IconClass, 260 inclusion, 40, 49 Indexing Agent, 236 individual attributive language, 44 OWL, 97 RDF Schema, 75 inference problem assertion, 54 instance testing, 54 testing entailment, 54 testing for consistency, 54 concept description Reduction to Subsumption, 52 Reduction to Unsatisfiability, 52 testing for disjointness, 52 testing for equivalence, 52 testing for satisfiability, 52 testing for subsumption, 52 informal is-a hierarchy, 27 information chunk, 231 information overload, 4 Infrastructure for Spatial Information in Europe (INSPIRE), 300 architecture, 301 metadata, 301 input parameter, 140 INSPIRE. See Infrastructure for Spatial Information in Europe (INSPIRE)
6 318 Index instance concept description, 54 RDF, 69 RDF Schema, 75 intentional knowledge, 41 International Federation of Library Associations (IFLA), 176 interpretation, 44, 51 base interpretation for acyclic terminology, 50 domain, 44 extension, 50 individual, 44 interpretation function, 44 model of set of assertions, 51 model of set of axioms, 49 satisfies assertion, 51 satisfies axiom, 49 intersection, 43, 93 IRIS, 237 ISO 10115:2003 Geospatial Metadata Standard, 285, 293 ISO 10119:2005 Geospatial Services Metadata Standard, 290, 293 ISO 15836:2003. See Dublin Core (DC) ISO 19112:2003 Spatial Referencing by Geospatial Identifiers, 278 ISO 21127:2006 Reference Ontology for Cultural Heritage Information, 255 ISO Technical Committee 211 (TC 211), 266 JENA, 211 KACTUS Project Ontology Development Method, 163 KAON2, 210 KIF. See Knowledge Interchange Format (KIF) knowledge base, 41, 51 ABox, 51 assertional knowledge, 51 TBox, 49 terminology, 49 world description, 51 Knowledge Interchange Format (KIF), 185 knowledge representation ontology, 28 Knowledge Representation Ontology, 188 primitive categories, 188 Abstract category, 190 Absurd category, 190 Absurdity. See Absurd category Continuant category, 191 Independent category, 191 Mediating category, 191 Occurrent category, 192 Physical category, 192 Relative category, 192 Universal category, 190 KR Ontology. See Knowledge Representation Ontology Language Extended Lexicon (LEL), 164 layered model, 29 Lexicon Based Ontology Development Method, 163 Liberty Alliance Project, 133 lightweight ontology language. See ontology description language limited existential quantification, 43 literal, 62 Logic Programming, 105 Longwell, 237 Magpie, 238 MAILTO, 59 markup language, 29 markup ontology language. See ontology description language maximum cardinality restriction, 92 metadata, 7 Art applications Categories for the Description of Works of Art (CDWA), 253 CIDOC Conceptual Reference Model (CIDOC CRM), 255 ISO 21127:2006 Reference Ontology for Cultural Heritage Information, 255 VRA Core Categories, 256 definition Berners-Lee, 176 International Federation of Library Associations (IFLA), 176 editor Adobe Extensible Metadata Platform, 214 Dublin Core Metadata Editor DC- Dot, 202 generic ANSI/NISO Z39.85, 178 Dublin Core (DC), 178 Friend of a Friend (FOAF), 182
7 Index 319 Goddard Flight Space Center extended Dublin Core, 179 ISO 15836:2003, 178 Platform for Internet Content Selection (PICS), 181 vcard, 181 Warwick Framework, 179 geospatial applications Content Standard for Digital Geospatial Metadata (CSDGM), 280 Directory Interchange Format (DIF), 303 INSPIRE metadata, 301 ISO 10115:2003 Geospatial Metadata Standard, 285 ISO 10119:2005 Geospatial Services Metadata Standard, 290, 293 Services Entry Resources Format (SERF), 303 semantic desktop, 230 type, 176 metadata catalogue, 267 meta-property. See OWL property characteristics method ontology, 29 Methontology, 159 Ontology Development Environment (ODE), 160 microtheory, 193 Mid-Level Ontology (MILO), 272 MILO. See Mid-Level Ontology (MILO) Mind Map Tool suite, 213 minimum cardinality restriction, 92 Mission to Planet Earth (MTPE), 298 model, 51, 122 set of assertions, 51 set of axioms, 49 model block, 123 molecule, 122 most general concept, 53 most specific concept, 53 MPEG-7, 251 multi-agent system (MAS), 235 mutually recursive rules, 108 NAICS. See North American Industry Classification System (NAICS) name, 58 namespace, 60, 62 declaration, 61 default, 61 QName, 60 TRIPLE, 121 NASA Earth Observation System (EOS), 298 EOS Data and Information System (EOSDIS), 298 Global Change Master Directory (GCMD), 303 Goddard Space Flight Center, 303 HDF-EOS Web GIS Software Suite (NWGISS), 299 Mission to Planet Earth (MTPE), 298 National Geospatial Data Clearinghouse Network, 302 National Spatial Data Infrastructure (NSDI), 302 geodata.gov, 303 Geospatial One-Stop Initiative, 303 National Geospatial Data Clearinghouse Network, 302 North American Industry Classification System (NAICS), 196 NSDI. See National Spatial Data Infrastructure (NSDI) OASIS. See Organization for the Advancement of Structured Information Standards (OASIS) object, 62 Object Management Group (OMG), 220 ODP. See Open Directory Project (ODP) OGC. See Open Geospatial Consortium (OGC) OIL, 31 OilEd, 203 OKBC. See Open Knowledge Base Connectivity (OKBC) OMG. See Object Management Group (OMG) OntoEdit, 203 On-To-Knowledge Project, 203 Ontolingua, 197 ontology, 8, 17 applications Art semantic annotation of art images, 260 geospatial geospatial Web service, 265 software engineering software agent, 219
8 320 Index classical vision, 32, 33 classification degree of generality, 27 application ontology, 27 domain ontology, 27 task ontology, 27 upper level ontology, 27 information represented, 28 application ontology, 29 domain ontology, 29 domain-task ontology, 29 generic and common sense ontology, 28 knowledge representation ontology, 28 method ontology, 29 task ontology, 29 upper ontology, 28 semantic spectrum, 26 controlled vocabulary, 26 express logical restrictions, 27 express value restrictions, 27 formal is-a hierarchy, 27 frames, 27 glossary, 26 heavyweight, 26 informal is-a hierarchy, 27 lightweight, 26 thesaurus, 26 definition Gruber, 17 Guarino, 8 Guarino, Carrara and Giaretta, 18 Maedche, 19 Merriam Webster, 17 Rudolf Gockel, 17 Sowa, 8, 18 World Wide Web Consortium (W3C), 19 description language, 9, 29 requirements, 82 development method, 185 development methodologies, 10 domain ontology Art Spatial Annotation Ontology, 249 Visual Features Annotation Ontology, 251 geospatial Ontology of Geography, 272 OpenCYC Selected Vocabulary and Upper Ontology Geography, 272 Semantic Web for Earth and Environmental Terminology (SWEET), 274 other EDR, 196 GALEN, 197 Gartner, 197 GUM, 195 SENSUS, 196 family resemblance, 32 library, 197 DAML Library, 198 Ontolingua, 197 SchemaWeb, 198 WebOnto, 198 method Horrocks Ontology Development Method, 171 KACTUS Project Ontology Development Method, 163 Lexicon Based Ontology Development Method, 163 Methontology, 159 Ontology Development 101, 167 Toronto Virtual Enterprise Method (TOVE), 158 Uschold and King Ontology Development Method, 156 tools editor OilEd, 203 OntoEdit, 203 Protégé, 203 knowledge management IBM Integrated Ontology Development Toolkit, 212 JENA, 211 Oracle 10g, 211 OWL API, 209 SESAME, 212 merging and comparison Prompt, 208 other Mind Map Tool suite, 213 PhotoStuff, 213 reasoner, 209 Cerebra Engine, 210 FaCT++, 210 KAON2, 210
9 Index 321 OWL Reasoning API, 209 OWL Validator, 211 Pellet, 210 Racer, 210 RacerPro, 210 visualization OWLViz, 207 upper level ontology CYC, 193 Knowledge Representation Ontology, 188 Suggested Upper Merged Ontology (SUMO), 184 WordNet, 195 Ontology Development 101, 167 Ontology Inference Layer. See OIL Ontology of Geography, 272 Open Directory Project (ODP), 196 Open Geospatial Consortium (OGC), 266 Catalogue Services Specification, 293 Gazetteer Service Profile, 279 Geography Markup Language (GML), 296 OpenGIS Services Framework (OSF), 295 OpenGIS Web Service 2 Initiative, 297 Web Coverage Service (WCS), 295, 299 Web Feature Service (WFS), 295 Web Map Service (WMS), 295, 296, 299 Web Registry Service (WRS), 295 Web Services (OWS) Architecture, 297 Open Knowledge Base Connectivity (OKBC), 204 OpenCYC, 194, 271 Selected Vocabulary and Upper Ontology Geography, 272 OpenGIS. See Open Geospatial Consortium (OGC) OpenGIS Services Framework (OSF), 295 OpenGIS Web Service 2 Initiative, 297 Oracle 10g, 211 Organization for the Advancement of Structured Information Standards (OASIS), 133 OSF. See OpenGIS Services Framework (OSF) output parameter, 140 OWL, 35, 81, (Web Ontology Language) class, 88 class axiom, 95 class disjointness, 95 class equivalence, 95 class description, 89 complement, 94 enumeration, 89 intersection, 93 property restriction, 90 cardinality restriction, 92 maximum cardinality restriction, 92 minimum cardinality restriction, 92 quantified restriction existential restriction, 90 universal restriction, 91 value restriction, 92 union, 94 datatype, 98 enumerated datatype, 98 individual, 97 all different individuals, 97 different individual, 97 same individual, 97 ontology import specification, 85 property, 86 datatype property, 86 equivalence, 86 object property, 86 property characteristics, 87 functional, 87 inverse functional, 87 inverse of, 87 symmetric, 87 transitive, 87 sublanguages OWL DL, 81 OWL Full, 81 OWL Lite, 81 version information, 85 vocabulary, 100 OWL API, 209 OWL Reasoning API, 209 OWL Validator, 211 OWL Vocabulary owl:alldifferent, 97 owl:allvaluesfrom, 91 owl:cardinality, 92 owl:complementof, 94 owl:datarange, 98
10 322 Index owl:datatypeproperty, 86 owl:differentfrom, 97 owl:disjointwith, 95 owl:equivalentclass, 95 owl:equivalentproperty, 86 owl:functionalproperty, 87 owl:hasvalue, 92 owl:imports, 85 owl:intersectionof, 93 owl:inversefunctionalproperty, 87 owl:inverseof, 87 owl:maxcardinality, 92 owl:mincardinality, 92 owl:nothing, 89 owl:objectproperty, 86 owl:oneof, 89 owl:onproperty, 92 owl:ontology, 85 owl:priorversion, 85 owl:restriction, 90 owl:sameas, 95, 97 owl:somevaluesfrom, 90 owl:symmetricproperty, 87 owl:thing, 89 owl:transitiveproperty, 87 owl:unionof, 94 summary, 100 OWL-S, 135 control construct, 142 process atomic process, 141 composite process, 141 effects, 140 input parameter, 140 output parameter, 140 pre-condition, 140 simple process, 141 Process Ontology AtomicProcess class, 141 composedof property, 141 CompositeProcess class, 141 ControlConstruct class, 142 expressionbody property, 140 expressionlanguage property, 140 haseffect property, 140 hasinput property, 140 haslocal property, 140 hasouput property, 140 hasparameter property, 140 hasprecondition property, 140 hasresult property, 140 hasresultvar property, 140 incondition property, 140 Perform class, 141 Process class, 140 process property, 141 Result property, 140 resultform property, 140 SimpleProcess class, 141 TheClient class, 141 TheServer class, 141 withoutput property, 140 Profile Ontology, 138 contactinformation property, 138 hasinput property, 138 hasoutput property, 138 hasparameter property, 138 hasprecondition property, 138 hasresult property, 138 Input class, 138 Output class, 138 Parameter class, 138 Profile class, 138 Result class, 140 servicecategory property, 139 servicename property, 138 serviceparameter property, 139 ServiceProfile class, 138 textdescription property, 138 service, 135 grounding, 142 model, 140 profile, 138 Service Ontology, 135 describedby property, 136 describes property, 136 present property, 135 presentby property, 135 Service class, 135 ServiceGrounding class, 137, 142 ServiceModel class, 136 ServiceProfile class, 135 supportedby property, 137 supports property, 137 OWLViz, 207 Pellet, 210 PhotoStuff, 213 PICS. See Platform for Internet Content Selection (PICS) Platform for Internet Content Selection (PICS), 181 pre-condition, 140 predicate, 62
11 Index 323 predicate symbol Datalog, 107 primitive concept, 49 process, 140 processing instruction, 58 Prolog, 105 Prompt, 208 property, 62 characteristics, 87 functional, 87 inverse functional, 87 inverse of, 87 symmetric, 87 transitive, 87 OWL, 86 RDF Schema, 74 property restriction, 90 cardinality restriction, 92 maximum cardinality restriction, 92 minimum cardinality restriction, 92 quantified restriction existential restriction, 90 universal restriction, 91 value restriction, 92 property value, 62 Protégé, 203 OWL API, 209 OWL Reasoner, 209 OWLViz, 207 plugin architecture, 204, 207 Prompt, 208 Protégé-OWL editors, 204 Wordnet plugin, 209 QName, 60 local part, 60 namespace prefix, 60 qualified name. See QName query, 123 Racer, 210 RacerPro, 210 range restricted variable, 108 RDF, 30, 62, 181, (Resource Description Framework) category, 69 class, 69 description, 67 graph, 66 instance, 69 literal, 62 object, 62 predicate, 62 property, 62 property value, 62 RDF/XML, 67 reification, 70 reification quad, 71 resource, 67 statement, 62, 63 subject, 62 triple, 62, 65 typed node, 69 vocabulary, 64, 77 RDF Schema, 30, 71, 74, (RDF Vocabulary Description Language) class, 71 individual, 75 instance, 75 subclass, 71 vocabulary, 77 RDF Schema subproperty, 74 RDF Schema Vocabulary rdfs:class, 71 rdfs:domain, 74 rdfs:property, 74 rdfs:range, 74 rdfs:subclassof, 71 rdfs:subpropertyof, 74 summary, 77 RDF Schemaproperty, 74 RDF Vocabulary rdf:about, 67 rdf:datatype, 70 rdf:description, 67 rdf:id, 68 rdf:object, 71 rdf:predicate, 71 rdf:rdf, 67 rdf:resource, 67 rdf:statement, 71 rdf:subject, 71 rdf:type, 69 summary, 77 RDF Vocabulary Description Language (RDF Schema). See RDF Schema RDF/XML, 67 rdf:. See RDF Vocabulary RDF-S. See RDF Schema realization problem, 54 reasoner, 209 recursive rule
12 324 Index reification, 70 reification quad, 71 resource, 59, 121 Resource Description Framework (RDF). See RDF role assertion, 51 rule SWRL, 116 TRIPLE, 123 rule language, 105 Datalog, 107 SWRL, 115 TRIPLE, 121 use cases, 106 Rule Markup Language (RuleML). See RuleML, (Rule Markup Language) atom, 110 constant, 110 predicate symbol, 110 rule, 110 variable, 110 RuleML Vocabulary <and>, 111 <atom>, 110 <body>, 110 <head>, 110 <Implies>, 110 <ind>, 110 <rel>, 110 <var>, 110 SAML. See Security Assertion Markup Language (SAML) satisfies, 51 SchemaWeb, 198 SDI. See spatial data infrastructure (SDI) Security Assertion Markup Language (SAML), 132 semantexplorer, 238 semantic annotation of art images, 260 semantic desktop architecture, 235 Indexing Agent, 236 Serendipity Agent, 236 Spy Agent, 236 Syndicating Agent, 236 Gnowsis, 237 IRIS, 237 Longwell, 237 Magpie, 238 metadata, 230 ontology, 233 semantexplorer, 238 semantic interoperability, 226 Semantic Web, 6 Semantic Web for Earth and Environmental Terminology (SWEET), 274 Semantic Web Rule Language (SWRL). See SWRL SENSUS, 196 Serendipity Agent, 236 SERF. See Services Entry Resources Format (SERF) service, 135 grounding, 142 model, 140 profile, 138 Services Entry Resources Format (SERF), 303 SESAME, 203, 212 SGML. See Standard Generalized Markup Language (SGML) SHOE. See Simple HTML Ontology Extension (SHOE) Simple HTML Ontology Extension (SHOE), 31 Simple Object Access Protocol (SOAP), 130 simple process, 141 SOAP. See Simple Object Access Protocol (SOAP) software agent, 219 agent forms, 220 adaptability, 222 autonomy, 221 coordination, 222 intelligence, 222 interactivity, 222 mobility, 222 wrapping, 223 communication in the Semantic Web, 225 definition Antoniou and Harmelen, 220 James Hendler, 220 OMG Agent Special Interest Group, 221 Goddard Agent Architecture, 223 ontology, 225
13 Index 325 semantic interoperability, 226 Spatial Annotation Ontology, 249 spatial data infrastructure, 267 spatial data infrastructure (SDI), 300 geoportal, 300 NSDI, 303 Infrastructure for Spatial Information in Europe (INSPIRE), 300 National Spatial Data Infrastructure (NSDI), 302 Spy Agent, 236 Standard Generalized Markup Language (SGML), 29 Standard Upper Ontology Working Group (SUO), 184 Stanford Medical Informatics, 203 start-tag, 58 statement RDF, 62 TRIPLE, 122 subclass OWL, 88 RDF Schema, 71 subject, 62 Suggested Upper Merged Ontology (SUMO), 184, 272 development method, 185 Mid-Level Ontology (MILO), 272 ontology browser, 187 Ontology of Geography, 272 SUMO Top Level, 272 top classes, 187 SUMO. See Suggested Upper Merged Ontology (SUMO) SUO-KIF, 185 SWEET. See Semantic Web for Earth and Environmental Terminology (SWEET) SWRL, 115, (Semantic Web Rule Language) antecedent, 116 atom, 115 builtin, 115 differentfrom, 115 sameas, 115 consequent, 116 head, 116 OWL class description, 115 OWL property, 115 rule, 116 XML Concrete Syntax, 114 Syndicating Agent, 236 synset, 195 Syntactic Web, 4 task ontology, 27, 29 taxonomy definition Merriam Webster, 20 Michael Daconta, 20 example Dewey Decimal System, 21 directory structure, 21 Linnaen Taxonomy of the Living Beings, 20 generic North American Industry Classification System (NAICS), 196 Open Directory Project (ODP), 196 geospatial applications geospatial services taxonomy, 290 topic categories, 285 TBox. See terminology TC 211. See ISO Technical Committee 211 (TC 211) term, 107 terminological axiom. See axiom terminology, 41, 49 acyclic, 50 defined concept, 49, 53 expansion, 51, 53 primitive concept, 49 TGN. See Getty Thesaurus of Geospatial Names (TGN) thesaurus, 22, 26 Art applications Art & Architecture Thesaurus (AAT), 242 Getty vocabularies, 242 IconClass, 260 Union List of Artist Names (ULAN), 246 geospatial applications Feature Type Thesaurus (FTT), 268 Getty Thesaurus of Geospatial Names (TGN), 277 relationships, 23 topic categories, 285 Toronto Virtual Enterprise Method (TOVE), 158 TOVE. See Toronto Virtual Enterprise Method (TOVE) Tree of Porphyry, 17 TRIPLE, 121
14 326 Index atom, 122 atomic formula, 122 clause, 123 fact, 123 formula, 122 model block, 123 model specification, 122 molecule, 122 namespace declaration, 121 query, 123 RDF model, 122 RDF statement, 122 resource declaration, 121 rule, 123 typed node, 69 UDDI. See Universal Description Discovery and Integration (UDDI) ULAN. See Union List of Artist Names (ULAN) Uniform Resource Identifier (URI), 59 base, 61 URI schemes, 59 union, 43, 94 Union List of Artist Names (ULAN), 246, 260 facet Corporate Body, 246 Person, 246 relationships, 246 universal concept, 43 Universal Description Discovery and Integration (UDDI), 129 universal restriction, 91 upper level ontology, 27, 28, 184 CYC, 193 Enterprise ontology, 184 Knowledge Representation Ontology, 188 OpenCYC, 194 Suggested Upper Merged Ontology (SUMO), 184 WordNet, 195 URI. See Uniform Resource Identifier (URI) URI reference (URIref), 59 absolute, 60 fragment identifier, 59 prefix, 60 relative, 60 vocabulary, 62 URIref. See URI reference (URIref) Uschold and King Ontology Development Method, 156 value, 58 value restriction, 43, 92 variable Datalog, 107, 108 SWRL, 115 vcard, 181, 231 Visual Features Annotation Ontology, 251 Visual Resources Association (VRA), 256 vocabulary, 62 fragment identifier, 63 imported, 63 native, 63 qualified name, 62 VRA. See Visual Resources Association (VRA) VRA Core Categories, 256, 260 W3C. See World Wide Web Consortium (W3C) Warwick Framework, 179 Web Coverage Service (WCS), 295, 299 Web Feature Service (WFS), 295 Web Map Service (WMS), 295, 296, 299 GetCapabilities, 296 GetFeatureInfo, 296 GetMap, 296 Web ontology language. See ontology description language Web Ontology Language (OWL). See OWL Web Registry Service (WRS), 295 Web Service, 9, 127 geospatial, 265 Simple Object Access Protocol (SOAP), 130 Universal Description Discovery and Integration (UDDI), 129 Web Services Description Language (WSDL), 129 Web Service Security Standards, 131 Liberty Alliance Project, 133 Security Assertion Markup Language (SAML), 132 WS Security, 132 XML Encryption, 132 XML Signature, 132
15 Index 327 Web Service Standardization Organizations, 133 Organization for the Advancement of Structured Information Standards (OASIS), 133 Web Services Interperability Organization (WS-I), 133 World Wide Web Consortium (W3C), 133 Web Services Description Language (WSDL), 129 Web Services Interoperability Organization (WS-I), 133 WebOnto, 198 WordNet, 23, 195, 209, 260 Euro WordNet, 196 semantic relationships, 195 synset, 195 world description. See assertional knowledge World Wide Web Consortium (W3C), 133 WS Security, 132 WSDL. See Web Services Description Language (WSDL) WS-I. See Web Services Interoperability Organization (WS-I) XML, 30, 58, (Extensible Markup Language) attribute, 58 base URI, 61 content, 58 default namespace, 61 element, 58 empty content, 58 empty-element tag, 58 end-tag, 58 name, 58 namespace, 60, 62 processing instruction, 58 start-tag, 58 value, 58 xml:base, 61 xmlns, 61 XML Encryption, 132 XML Schema, 58, 61 XML Signature, 132
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 informationAPPROVAL 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 informationResource Description Framework (RDF) A basis for knowledge representation on the Web
Resource Description Framework (RDF) A basis for knowledge representation on the Web Simple language to capture assertions (as statements) Captures elements of knowledge about a resource Facilitates incremental
More informationFOUNDATIONS 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 informationDescription 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 informationIntroduction 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 informationStructured Descriptions & Tradeoff Between Expressiveness and Tractability
5. Structured Descriptions & Tradeoff Between Expressiveness and Tractability Outline Review Expressiveness & Tractability Tradeoff Modern Description Logics Object Oriented Representations Key Representation
More informationWeb 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 informationALOE 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 informationLeveraging the OGC Capabilities of ArcGIS Server
Leveraging the OGC Capabilities of ArcGIS Server Satish Sankaran Interoperability and Standards Team Yingqi Tang Server Team Jessica Parteno Geodatabase Team ArcGIS Server is Open & Interoperable Using
More informationOWL 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 informationSemantic Evolution of Geospatial Web Services: Use Cases and Experiments in the Geospatial Semantic Web
Semantic Evolution of Geospatial Web Services: Use Cases and Experiments in the Geospatial Semantic Web Joshua Lieberman, Todd Pehle, Mike Dean Traverse Technologies, Inc., Northrop Grumman Information
More informationSpatial Data Infrastructure Concepts and Components. Douglas Nebert U.S. Federal Geographic Data Committee Secretariat
Spatial Data Infrastructure Concepts and Components Douglas Nebert U.S. Federal Geographic Data Committee Secretariat August 2009 What is a Spatial Data Infrastructure (SDI)? The SDI provides a basis for
More informationPortals: Standards in Action
Portals: Standards in Action David Danko ISO TC 211 Metadata Project Leader GIS Standards Consultant-ESRI. Metadata Portals Portal gateway, place of entry Producers Advertise, expose products Share information
More informationA Survey of Temporal Knowledge Representations
A Survey of Temporal Knowledge Representations Advisor: Professor Abdullah Tansel Second Exam Presentation Knowledge Representations logic-based logic-base formalisms formalisms more complex and difficult
More informationRDF and Logic: Reasoning and Extension
RDF and Logic: Reasoning and Extension Jos de Bruijn Faculty of Computer Science, Free University of Bozen-Bolzano, Italy debruijn@inf.unibz.it Stijn Heymans Digital Enterprise Research Institute (DERI),
More informationCadastral Standards & Interoperability
Cadastral Standards & Interoperability Some Considerations Black Hills Digital Mapping Association September 18, 2007 Jeanne Foust ESRI Spatial Data Infrastructure Global Manager jfoust@esri.com Why is
More informationSemantic 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 informationPhase 1. Phase 2. Phase 3. History. implementation of systems based on incomplete structural subsumption algorithms
History Phase 1 implementation of systems based on incomplete structural subsumption algorithms Phase 2 tableau-based algorithms and complexity results first tableau-based systems (Kris, Crack) first formal
More informationDesigning and Evaluating Generic Ontologies
Designing and Evaluating Generic Ontologies Michael Grüninger Department of Industrial Engineering University of Toronto gruninger@ie.utoronto.ca August 28, 2007 1 Introduction One of the many uses of
More informationCharter for the. Information Transfer and Services Architecture Focus Group
for the Information Transfer and Services Architecture Focus Group 1. PURPOSE 1.1. The purpose of this charter is to establish the Information Transfer and Services Architecture Focus Group (ITSAFG) as
More informationTHE WASHINGTON COASTAL ATLAS
THE ICAN COASTAL ATLAS MEDIATOR PROTOTYPE AND CONNECTING THE WASHINGTON COASTAL ATLAS Liz O Dea 1, Yassine Lassoued 2, Tanya Haddad 3, Declan Dunne 2 1 GIS Services Unit, WA State Dept. of Ecology 2 Coastal
More informationHosted by Esri Official Distributor
Hosted by Esri Official Distributor Esri European User Conference October 15-17, 2012 Oslo, Norway Hosted by Esri Official Distributor Interoperability and Standards Support in ArcGIS 10.1 Roberto Lucchi
More informationGeospatial 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 informationAn Introduction to Description Logics
An Introduction to Description Logics Marco Cerami Palacký University in Olomouc Department of Computer Science Olomouc, Czech Republic Olomouc, 21.11.2013 Marco Cerami (UPOL) Description Logics 21.11.2013
More informationSDI Standards at work
SDI Standards at work Jan Juul Jensen Senior Technology Strategist Informi GIS Denmark Informi GIS Private held Limited Company Specialized in GIS 100+ employees HQ in Charlottenlund, Copenhagen Regional
More informationTHE SPATIAL DATA SERVER BASED ON OPEN GIS STANDARDS IN HETEROGENEOUS DISTRIBUTED ENVIRONMENT
Geoinformatics 2004 Proc. 12th Int. Conf. on Geoinformatics Geospatial Information Research: Bridging the Pacific and Atlantic University of Gävle, Sweden, 7-9 June 2004 THE SPATIAL DATA SERVER BASED ON
More informationDescription Logics. an introduction into its basic ideas
Description Logics an introduction into its basic ideas A. Heußner WS 2003/2004 Preview: Basic Idea: from Network Based Structures to DL AL : Syntax / Semantics Enhancements of AL Terminologies (TBox)
More informationImplementing INSPIRE Geoportal in Turkey
Implementing INSPIRE Geoportal in Turkey Gencay SERTER City and Regional Planner 1 Presentation Plan Introduction INSPIRE and Turkey Importance of al Spatial Planning Portal Logical&Legal Hierarchy GeoPortal
More informationWEB MAP SERVICE (WMS) FOR GEOLOGICAL DATA GEORGE TUDOR
WEB MAP SERVICE (WMS) FOR GEOLOGICAL DATA GEORGE TUDOR WEB MAP SERVICE (WMS) - GENERALITIES Projects with data from different sources Geological data are in different GIS software format Large amount of
More informationGeological applications using geospatial standards an example from OneGeology-Europe and GeoSciML
Geological applications using geospatial standards an example from OneGeology-Europe and GeoSciML John Laxton 1, Jean-Jacques Serrano 2, Agnes Tellez-Arenas 2 1 British Geological Survey, Edinburgh, United
More informationDescription 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 informationINTEGRITY 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 informationTechnical Specifications. Form of the standard
Used by popular acceptance Voluntary Implementation Mandatory Legally enforced Technical Specifications Conventions Guidelines Form of the standard Restrictive Information System Structures Contents Values
More informationLogic 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 informationAtmospheric Science and GIS Interoperability issues: some Data Model and Computational Interface aspects
UNIDATA Boulder, Sep. 2003 Atmospheric Science and GIS Interoperability issues: some Data and Computational Interface aspects Stefano Nativi University of Florence and IMAA-CNR Outline Service-Oriented
More informationSpatial data interoperability and INSPIRE compliance the platform approach BAGIS
Spatial data interoperability and INSPIRE compliance the platform approach BAGIS BAGIS Voluntary, independent, public, non-profit organization; Organization with main mission to promote the growth of the
More informationCARTOGRAPHIC WEB SERVICES AND CARTOGRAPHIC RULES A NEW APPROACH FOR WEB CARTOGRAPHY
CARTOGRAPHIC WEB SERVICES AND CARTOGRAPHIC RULES A NEW APPROACH FOR WEB CARTOGRAPHY 1. Introduction Ionut Iosifescu, Marco Hugentobler, Lorenz Hurni ETH Zurich, Institute of Cartography Wolfgang-Pauli-Str.
More informationInnovation. The Push and Pull at ESRI. September Kevin Daugherty Cadastral/Land Records Industry Solutions Manager
Innovation The Push and Pull at ESRI September 2004 Kevin Daugherty Cadastral/Land Records Industry Solutions Manager The Push and The Pull The Push is the information technology that drives research and
More informationThe Role of Ontology in Improving Gazetteer Interaction
International Journal of Geographical Information Science Vol. 00, No. 00, Month 200x, 1 24 The Role of Ontology in Improving Gazetteer Interaction Krzysztof Janowicz & Carsten Keßler Institute for Geoinformatics,
More informationSemantics and Inference for Probabilistic Ontologies
Semantics and Inference for Probabilistic Ontologies Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, and Riccardo Zese ENDIF University of Ferrara, Italy, email: {fabrizio.riguzzi, elena.bellodi, evelina.lamma}@unife.it,
More informationOn 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 informationSPATIAL INFORMATION GRID AND ITS APPLICATION IN GEOLOGICAL SURVEY
SPATIAL INFORMATION GRID AND ITS APPLICATION IN GEOLOGICAL SURVEY K. T. He a, b, Y. Tang a, W. X. Yu a a School of Electronic Science and Engineering, National University of Defense Technology, Changsha,
More informationMerging 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 informationINSPIRE General Introduction & Service Architecture
INSPIRATION Spatial Data Infrastructure in the Western Balkans INSPIRE General Introduction & Service Architecture 1st National INSPIRATION Workshop Croatia November 21-22, 2012 A multi-countryprojectfunded
More informationAPPLICATION 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 informationKnowledge Sharing. A conceptualization is a map from the problem domain into the representation. A conceptualization specifies:
Knowledge Sharing A conceptualization is a map from the problem domain into the representation. A conceptualization specifies: What sorts of individuals are being modeled The vocabulary for specifying
More informationDESCRIPTION LOGICS. Paula Severi. October 12, University of Leicester
DESCRIPTION LOGICS Paula Severi University of Leicester October 12, 2009 Description Logics Outline Introduction: main principle, why the name description logic, application to semantic web. Syntax and
More informationProbabilistic Ontologies: Logical Approach
Probabilistic Ontologies: Logical Approach Pavel Klinov Applied Artificial Intelligence Lab ECE Department University of Cincinnati Agenda Why do we study ontologies? Uncertainty Probabilistic ontologies
More informationThe Role of Metadata and Semantic Web in SDI - selected issues
The Role of Metadata and Semantic Web in SDI - selected issues Adam Iwaniak Wroclaw University of Environmental and Life Sciences Kon-dor s.c. 8th Cartography and Geoinformation Conference, Zagreb 2012
More informationNAG-City Expert Workshop Oslo 8-9. October 2012 SOSI standards and mapping for Europe (INSPIRE)
NAG-City Expert Workshop Oslo 8-9. October 2012 SOSI standards and mapping for Europe (INSPIRE) Per Ryghaug, Geomatics The Norwegian national standard on geographic information - SOSI Started in 1984 NGU
More informationRoadmap to interoperability of geoinformation
Roadmap to interoperability of geoinformation and services in Europe Paul Smits, Alessandro Annoni European Commission Joint Research Centre Institute for Environment and Sustainability paul.smits@jrc.it
More informationDiscovery and Access of Geospatial Resources using the Geoportal Extension. Marten Hogeweg Geoportal Extension Product Manager
Discovery and Access of Geospatial Resources using the Geoportal Extension Marten Hogeweg Geoportal Extension Product Manager DISCOVERY AND ACCESS USING THE GEOPORTAL EXTENSION Geospatial Data Is Very
More informationALC Concept Learning with Refinement Operators
ALC Concept Learning with Refinement Operators Jens Lehmann Pascal Hitzler June 17, 2007 Outline 1 Introduction to Description Logics and OWL 2 The Learning Problem 3 Refinement Operators and Their Properties
More informationISO Series Standards in a Model Driven Architecture for Landmanagement. Jürgen Ebbinghaus, AED-SICAD
ISO 19100 Series Standards in a Model Driven Architecture for Landmanagement Jürgen Ebbinghaus, AED-SICAD 29.10.2003 The Company 100% SIEMENS PTD SIEMENS Business Services Shareholder & Strategic Business
More informationOntoRevision: A Plug-in System for Ontology Revision in
OntoRevision: A Plug-in System for Ontology Revision in Protégé Nathan Cobby 1, Kewen Wang 1, Zhe Wang 2, and Marco Sotomayor 1 1 Griffith University, Australia 2 Oxford University, UK Abstract. Ontologies
More informationSemantic Web SPARQL. Gerd Gröner, Matthias Thimm. July 16,
Semantic Web SPARQL Gerd Gröner, Matthias Thimm {groener,thimm}@uni-koblenz.de Institute for Web Science and Technologies (WeST) University of Koblenz-Landau July 16, 2013 Gerd Gröner, Matthias Thimm Semantic
More informationFinding geodata that otherwise would have been forgotten GeoXchange a portal for free geodata
Finding geodata that otherwise would have been forgotten GeoXchange a portal for free geodata Sven Tschirner and Alexander Zipf University of Applied Sciences FH Mainz Department of Geoinformatics and
More informationPushing the Standards Edge: Collaborative Testbeds to Accelerate Standards Development and Implementation
Pushing the Standards Edge: Collaborative Testbeds to Accelerate Standards Development and Implementation Mark E. Reichardt President mreichardt@opengeospatial.org 31 October 2006 2006 Open Geospatial
More informationRepresenting 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 informationCompleting Description Logic Knowledge Bases using Formal Concept Analysis
Completing Description Logic Knowledge Bases using Formal Concept Analysis Franz Baader 1, Bernhard Ganter 1, Ulrike Sattler 2 and Barış Sertkaya 1 1 TU Dresden, Germany 2 The University of Manchester,
More informationSimilarity-based Learning Methods for the Semantic Web
Similarity-based Learning Methods for the Semantic Web Claudia d Amato Supervisor: Prof. Floriana Esposito Coordinator: Prof. Annamaria Fanelli Acknowledgement At the end of the time spent for reaching
More informationPaper UC1351. Conference: User Conference Date: 08/10/2006 Time: 8:30am-9:45am Room: Room 23-B (SDCC)
Conference: User Conference Date: 08/10/2006 Time: 8:30am-9:45am Room: Room 23-B (SDCC) Title of Paper: Increasing the Use of GIS in the Federal Government Author Name: Miss Abstract This presentation
More informationOn 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 informationGEOSPATIAL WEB SERVICE INTEGRATION AND MASHUPS FOR WATER RESOURCE APPLICATIONS
GEOSPATIAL WEB SERVICE INTEGRATION AND MASHUPS FOR WATER RESOURCE APPLICATIONS C. Granell a, *, L. Díaz a, M. Gould a a Center for Interactive Visualization, Department of Information Systems, Universitat
More informationExtracting Modules from Ontologies: A Logic-based Approach
Extracting Modules from Ontologies: A Logic-based Approach Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov and Ulrike Sattler The University of Manchester School of Computer Science Manchester, M13
More informationA 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 informationSemantic 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 informationModel-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 informationExperiences and Directions in National Portals"
FIG Seminar on e-land Administration Innsbruck/Austria 2-4 June 2004 "ESRI's Experiences and Directions in National Portals" Kevin Daugherty Cadastral/Land Records Manager ESRI Topic Points Technology
More informationModern Education at Universities: Improvements through the Integration of a Spatial Data Infrastructure SDI into an e-learning Environment
Modern Education at Universities: Improvements through the Integration of a Spatial Data Infrastructure SDI into an e-learning Environment Ingo Simonis Institute for Geoinformatics, University of Muenster
More informationRESEARCG ON THE MDA-BASED GIS INTEROPERABILITY Qi,LI *, Lingling,GUO *, Yuqi,BAI **
RESEARCG ON THE MDA-BASED GIS INTEROPERABILITY Qi,LI *, Lingling,GUO *, Yuqi,BAI ** * Digital Earth Studio, Peking University, Beijing, 100871 liqi@pku.edu.cn, guolingling@cybergis.org.cn ** Network Department,
More informationBasic Dublin Core Semantics
Basic Dublin Core Semantics DC 2006 Tutorial 1, 3 October 2006 Marty Kurth Head of Metadata Services Cornell University Library Getting started Let s introduce ourselves Let s discuss our expectations
More informationA Model of GIS Interoperability Based on JavaRMI
A Model of GIS Interoperability Based on Java Gao Gang-yi 1 Chen Hai-bo 2 1 Zhejiang University of Finance & Economics, Hangzhou 310018, China 2 College of Computer Science and Technology, Zhejiang UniversityHangzhou
More informationApplying the Semantic Web to Computational Chemistry
Applying the Semantic Web to Computational Chemistry Neil S. Ostlund, Mirek Sopek Chemical Semantics Inc., Gainesville, Florida, USA {ostlund, sopek}@chemicalsemantics.com Abstract. Chemical Semantics
More informationSPARQL Rewriting for Query Mediation over Mapped Ontologies
SPARQL Rewriting for Query Mediation over Mapped Ontologies Konstantinos Makris*, Nektarios Gioldasis*, Nikos Bikakis**, Stavros Christodoulakis* *Laboratory of Distributed Multimedia Information Systems
More informationKey Points Sharing fosters participation and collaboration Metadata has a big role in sharing Sharing is not always easy
Sharing Resources Geoff Mortson esri, Inc. SDI Solutions Team Key Points Sharing fosters participation and collaboration Metadata has a big role in sharing Sharing is not always easy Data Sharing is Good
More informationOntology-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 informationDomain Modelling: An Example (LOGICAL) DOMAIN MODELLING. Modelling Steps. Example Domain: Electronic Circuits (Russell/Norvig)
(LOGICAL) DOMAIN MODELLING Domain Modelling: An Example Provision of a formal, in particular logical language for knowledge representation. Application of these means to represent the formal structure
More informationGeomRDF : A Geodata Converter with a Fine-Grained Structured Representation of Geometry in the Web
GeomRDF : A Geodata Converter with a Fine-Grained Structured Representation of Geometry in the Web Fayçal Hamdi 1 Nathalie Abadie 2 Bénédicte Bucher 2 Abdelfettah Feliachi 2 1 ISID TEAM, CEDRIC Lab Conservatoire
More informationStandards Enhance The Data by making it less costly and easier to share and use
Standards Enhance The Data by making it less costly and easier to share and use Sam A. Bacharach Executive Director, Outreach www.opengeospatial.org 703-352-3938 2005, Open Geospatial Consortium, Inc.
More informationStatus of interoperability issues in the Chilean SDI. Álvaro Monett Pablo Morales Executive Secretariat NSDI-Chile
Status of interoperability issues in the Chilean SDI Álvaro Monett Pablo Morales Executive Secretariat NSDI-Chile Outline Background - Chilean SDI working areas Background Interoperability, standards and
More informationA conceptualization is a map from the problem domain into the representation. A conceptualization specifies:
Knowledge Sharing A conceptualization is a map from the problem domain into the representation. A conceptualization specifies: What sorts of individuals are being modeled The vocabulary for specifying
More informationArcGIS for INSPIRE. Marten Hogeweg Satish Sankaran
ArcGIS for INSPIRE Marten Hogeweg Satish Sankaran Outline What is ArcGIS ArcGIS for INSPIRE Web GIS Case Studies Roadmap Q&A What is INSPIRE? INSPIRE is the legal framework for a European Spatial Data
More informationChapter 2 Background. 2.1 A Basic Description Logic
Chapter 2 Background Abstract Description Logics is a family of knowledge representation formalisms used to represent knowledge of a domain, usually called world. For that, it first defines the relevant
More informationCombining safe rules and ontologies by interfacing of reasoners
Combining safe rules and ontologies by interfacing of reasoners Uwe Aßmann, Jakob Henriksson, Jan Małuszyński PPSWR06, Budva, Montenegro, 10 th June 2006 The objective Define a scheme that from given Rule
More informationBUILD 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 informationUsing C-OWL for the Alignment and Merging of Medical Ontologies
Using C-OWL for the Alignment and Merging of Medical Ontologies Heiner Stuckenschmidt 1, Frank van Harmelen 1 Paolo Bouquet 2,3, Fausto Giunchiglia 2,3, Luciano Serafini 3 1 Vrije Universiteit Amsterdam
More informationOverview of Geospatial Open Source Software which is Robust, Feature Rich and Standards Compliant
Overview of Geospatial Open Source Software which is Robust, Feature Rich and Standards Compliant Cameron SHORTER, Australia Key words: Open Source Geospatial Foundation, OSGeo, Open Standards, Open Geospatial
More informationA Practical Example of Semantic Interoperability of Large-Scale Topographic Databases Using Semantic Web Technologies
Paper presented at the 9th AGILE Conference on Geographic Information Science, Visegrád, Hungary, 2006 35 A Practical Example of Semantic Interoperability of Large-Scale Topographic Databases Using Semantic
More informationPart 1: Fundamentals
Provläsningsexemplar / Preview INTERNATIONAL STANDARD ISO 19101-1 First edition 2014-11-15 Geographic information Reference model Part 1: Fundamentals Information géographique Modèle de référence Partie
More informationUsing Ontology and Semantic Web Services to Support Modeling in Systems Biology
Centre for Mathematics & Physics in the Life Sciences and EXperimental Biology University College London Using Ontology and Semantic Web Services to Support Modeling in Systems Biology Zhouyang Sun Submitted
More informationOntology-driven Problem Solving Framework for Spatial Decision Support Systems
Ontology-driven Problem Solving Framework for Spatial Decision Support Systems Abstract Chin-Te Jung 1, Chih-Hong Sun 2, 1 Department of Geography National Taiwan University d94228001@ntu.edu.tw 2 Taiwan
More informationOPPA European Social Fund Prague & EU: We invest in your future.
OPPA European Social Fund Prague & EU: We invest in your future. Description Logics Petr Křemen petr.kremen@fel.cvut.cz FEL ČVUT 39 / 157 Our plan Towards Description Logics ALC Language 40 / 157 Towards
More informationTemporal Representation and Reasoning in OWL 2
Semantic Web 0 (2016) 1 21 1 IOS Press Temporal Representation and Reasoning in OWL 2 Editor(s): Aldo Gangemi, ISTC-CNR, Italy & Université Paris 13, France Solicited review(s): Anisa Rula, Università
More informationKnowledge Representation for the Semantic Web Lecture 2: Description Logics I
Knowledge Representation for the Semantic Web Lecture 2: Description Logics I Daria Stepanova slides based on Reasoning Web 2011 tutorial Foundations of Description Logics and OWL by S. Rudolph Max Planck
More informationAdaptive ALE-TBox for Extending Terminological Knowledge
Adaptive ALE-TBox for Extending Terminological Knowledge Ekaterina Ovchinnikova 1 and Kai-Uwe Kühnberger 2 1 University of Tübingen, Seminar für Sprachwissenschaft e.ovchinnikova@gmail.com 2 University
More informationSemantics, ontologies and escience for the Geosciences
Semantics, ontologies and escience for the Geosciences Femke Reitsma¹, John Laxton², Stuart Ballard³, Werner Kuhn, Alia Abdelmoty ¹femke.reitsma@ed.ac.uk: School of Geosciences, Edinburgh University ²
More informationReducing Consumer Uncertainty
Spatial Analytics Reducing Consumer Uncertainty Eliciting User and Producer Views on Geospatial Data Quality Introduction Cooperative Research Centre for Spatial Information (CRCSI) in Australia Communicate
More information