Abox

Results: 87



#Item
21Cognitive psychology / Boolean algebra / Science / Information / Ontology / Tbox / Abox

LNCSFrom Black-Box Learning Objects to Glass-Box Learning Objects

Add to Reading List

Source URL: www.philippe-fournier-viger.com

Language: English - Date: 2009-07-06 06:38:03
22Information / Natural language generation / Information science / Knowledge / WYSIWYM / Knowledge representation / Abox / Tbox / Description logic / Ontology / Semantic Web / Science

Open Research Online The Open University’s repository of research publications and other research outputs Editing OWL through generated CNL Conference Item

Add to Reading List

Source URL: oro.open.ac.uk

Language: English - Date: 2012-12-03 08:07:00
23Semantic Web / Logic / Information science / Knowledge representation / Knowledge engineering / Abox / Description logic / Tbox / WYSIWYM / Ontology / Information / Science

Open Research Online The Open University’s repository of research publications and other research outputs Towards a generation-based semantic web authoring tool

Add to Reading List

Source URL: oro.open.ac.uk

Language: English - Date: 2012-12-03 09:45:24
24Science / Information science / World Wide Web / Technical communication / Agencia Estatal de Meteorología / Linked data / Resource / Semantic Sensor Web / Abox / Semantic Web / Information / Ontology

1 Undefined–5 IOS Press Transforming Meteorological Data into

Add to Reading List

Source URL: www.semantic-web-journal.net

Language: English - Date: 2012-10-29 22:05:47
25Science / Ontology / Information retrieval / WordNet / Abox / Tag / International Society for Music Information Retrieval / Music information retrieval / Knowledge representation and reasoning / Information science / Information / Knowledge representation

11th International Society for Music Information Retrieval Conference (ISMIRPredicting High-level Music Semantics using Social Tags via Ontology-based Reasoning Jun Wang, Xiaoou Chen, Yajie Hu, Tao Feng Institute

Add to Reading List

Source URL: ismir2010.ismir.net

Language: English - Date: 2014-01-23 13:05:31
26SQL / Data modeling / Database management systems / Ontology / Database trigger / Abox / Insert / Semantic reasoner / Foreign key / Data management / Data / Information

SQOWL: Type Inference in an RDBMS P.J. McBrien, N. Rizopoulos, and A.C. Smith Imperial College London⋆⋆ , 180 Queen’s Gate, London, UK Abstract. In this paper we describe a method to perform type inference over dat

Add to Reading List

Source URL: www.doc.ic.ac.uk

Language: English - Date: 2010-10-14 06:14:18
27Model theory / Philosophical logic / Automated theorem proving / Method of analytic tableaux / Abox / Structure / Boolean satisfiability problem / PSPACE-complete / Modal logic / Theoretical computer science / Mathematical logic / Mathematics

Journal of Automated Reasoning manuscript No. (will be inserted by the editor) PSpace Tableau Algorithms for Acyclic Modalized ALC Jia Tao · Giora Slutzki · Vasant Honavar

Add to Reading List

Source URL: www.cs.iastate.edu

Language: English - Date: 2011-06-14 00:05:06
28Abox / Tbox / Function / Ontology / Mathematics / Functions and mappings

Loom: Basic Concepts Thomas A. Russ U S C

Add to Reading List

Source URL: www.isi.edu

Language: English - Date: 2009-06-12 15:14:07
29Data / Ontology / Query languages / RDF / Metadata / Linked data / SPARQL / Abox / Triplestore / Data management / Computing / Semantic Web

Day 2 – Working with Semantics: Triples, Queries and the Linked Open Data Cloud In this hands-on session, participants will learn by doing how data is expressed as triples, and how to assemble and work with graphs in t

Add to Reading List

Source URL: www.semanticarts.com

Language: English - Date: 2014-12-15 11:49:07
30Information / Description logic / Tbox / Abox / Model theory / Interpretation / Logic programming / Cyc / Concept / Ontology / Logic / Science

TU Dresden Germany Ulrike Sattler Institut f¨ur Theoretische Informatik TU Dresden, Germany

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2002-08-06 18:22:31
UPDATE