Tbox - PDFSEARCH.IO - Document Search Engine

Tbox
Results: 70

#	Item
31	Matching Geospatial Ontologies Heshan Du1 , Natasha Alechina1 , Mike Jackson1 , Glen Hart2 1 2 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-26 14:52:20 Information science Data Semantic Web Knowledge representation Knowledge engineering Geographic information system Abox Description logic Tbox Ontology Information Science
32	The Even More Irresistible SROIQ Ian Horrocks, Oliver Kutz, and Ulrike Sattler School of Computer Science, The University of Manchester, Kilburn Building, Oxford Road, Manchester, M13 9PL, UK. {Horrocks, Kutz, Sattler}@c Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2005-12-14 14:49:54 Ontology Non-classical logic Tbox Philosophical logic Algebraic structures Modal logic Description logic Abox Binary relation Mathematics Logic Mathematical logic
33	Matching Geospatial Ontologies Heshan Du1 , Natasha Alechina1 , Mike Jackson1 , Glen Hart2 1 2 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2012-09-06 16:30:18 Information science Data Semantic Web Knowledge representation Knowledge engineering Geographic information system Abox Description logic Tbox Ontology Information Science
34	Efficient Federated Debugging of Lightweight Ontologies Andreas Nolle? , Christian Meilicke◦ , Heiner Stuckenschmidt◦ , and German Nemirovski? ? Add to Reading List Source URL: publications.wim.uni-mannheim.de Language: English - Date: 2014-06-05 07:29:50 Abox Conjunctive query Tbox Science FO Data integration Description logic Ontology Information Data
35	Querying Probabilistic Ontologies with SPARQL Joerg Schoenfisch Data & Web Science Research Group University of Mannheim, Germany http://dws.informatik.uni-mannheim.de/ [removed] Add to Reading List Source URL: ub-madoc.bib.uni-mannheim.de Language: English - Date: 2014-06-18 07:51:13 Ontology Database theory Knowledge representation Data management Abox Datalog Query language Tbox Semantic reasoner Information Data Semantic Web
36	19 – 21 June 11th International conference DIN Deutsches Institut für Normung e. V. Modeling LMF compliant lexica in OWL-DL Add to Reading List Source URL: tke2014.coreon.com Language: English - Date: 2014-09-26 03:15:50 Information science Semantic Web Knowledge Knowledge representation Technical communication Lexical Markup Framework Description logic Abox Tbox Science Information Ontology
37	Linked Data and Life Sciences Ismael Navas‐Delgado, Maria del Mar Roldán‐García, José F. Aldana‐Montes A living organism is an open system that keeps a continuous interch Add to Reading List Source URL: www.sti2.org Language: English - Date: 2012-11-12 04:55:40 Science Knowledge representation Technical communication Abox Linked data Tbox Throughput Open Biomedical Ontologies Data mining Ontology Semantic Web Information
38	Linked Knowledge in Manufacturing, Engineering and Design for Next-Generation Production Acronym: LinkedDesign Project No: [removed]Large-scale Integrating Project FoF-ICT[removed] Add to Reading List Source URL: www.linkeddesign.eu Language: English - Date: 2014-05-07 10:23:22 Middleware SAP AG Software industry Systems science Information technology management Ontology Abox Tbox
39	Using the TBox to Optimise SPARQL Queries Birte Glimm1 , Yevgeny Kazakov1 , Ilianna Kollia2 , and Giorgos Stamou2 University of Ulm, Germany, @uni-ulm.de National Technical University of Athens, Greece Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-16 09:32:31 Functions and mappings Conjunctive query Database theory SPARQL FO Dynamic programming Function Mathematics Computing Data management
40	PDF Document Add to Reading List Source URL: korrekt.org Language: English - Date: 2014-02-02 10:18:03 Semantic Web Mathematical logic Knowledge representation Completeness Description logic Axiom Abox Knowledge representation and reasoning Tbox Logic Ontology Science