Horrocks - PDFSEARCH.IO - Document Search Engine

Horrocks
Results: 147

#	Item
11	Description Logics: OWL and DAML+OIL Phillip Lord, Robert D. Stevens, Carole A. Goble, and Ian Horrocks Department of Computer Science University of Manchester, Oxford Road, Manchester Add to Reading List Source URL: homepages.cs.ncl.ac.uk Language: English - Date: 2015-12-15 11:14:30 Knowledge representation Knowledge engineering Ontology Information science Semantic Web Computing Knowledge Web Ontology Language Description logic Semantic reasoner Class Gene ontology
12	Efficient Reasoning with Range and Domain Constraints Dmitry Tsarkov and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov\|horrocks}@cs.man.ac.uk Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:09 Mathematics Logic Mathematical logic Algebraic structures Model theory Z notation Topology S Set theory Lattice Ring Axiom
13	Automated Benchmarking of Description Logic Reasoners T. Gardiner I. Horrocks Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:07 Ontology Semantic Web Knowledge engineering Information science Knowledge Computing Knowledge representation Semantic reasoner Web Ontology Language Description logic Open Biomedical Ontologies Owl
14	Item 1- Cover Page Brochure Supplement Matthews International Capital Management, LLC Four Embarcadero Center, Suite 550 San Francisco, CA 94111 Add to Reading List Source URL: micm-llc.com Language: English - Date: 2016-05-03 19:21:02 Economy Finance Money Money managers Portfolio manager Horrocks Financial analyst Chief investment officer Matthews Goldman Sachs Investment
15	Optimising Ontology Classification Birte Glimm, Ian Horrocks, Boris Motik, and Giorgos Stoilos Oxford University Computing Laboratory, UK Abstract. Ontology classification—the computation of subsumption hierarchies for Add to Reading List Source URL: www.hermit-reasoner.com Language: English - Date: 2012-02-03 12:06:02 Information science Semantic Web Computing Information Cognitive science Resource Description Framework Web Ontology Language Knowledge representation Description logic Algorithm Ontology
16	OWL Rules: A Proposal and Prototype Implementation Ian Horrocks Peter F. Patel-Schneider Dmitry Tsarkov Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:07 Semantic Web Logic Computing Information science Knowledge engineering Knowledge representation Technical communication Web Ontology Language Ontology Resource Description Framework Description logic Interpretation
17	Using Vampire to Reason with OWL Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov\|riazanov\|seanb\|horrocks}@cs.man.ac. Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:08 Semantic Web Knowledge representation Logic Cognitive science Computing Information science Artificial intelligence Knowledge engineering Description logic Web Ontology Language Ontology Semantic Web Rule Language
18	An Educated and Industrious Woman Ann Jacob, born in 1818, grew up on her father’s farm in Hampshire. She was well educated, for in later years she kept a diary that is testimony to her literacy, and to her grasp of bu Add to Reading List Source URL: www.pioneerssa.org.au Language: English - Date: 2015-05-25 20:19:55 Clare Valley Penwortham Horrocks Sevenhill South Australia
19	Optimized Reasoning in Description Logics using Hypertableaux Boris Motik, Rob Shearer, and Ian Horrocks University of Manchester, UK Abstract. We present a novel reasoning calculus for Description Logics Add to Reading List Source URL: www.hermit-reasoner.com Language: English - Date: 2012-02-03 12:06:02 Mathematics Algebraic structures Transitive closure Ring
20	DL Reasoner vs. First-Order Prover Dmitry Tsarkov and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov\|horrocks}@cs.man.ac.uk Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:09 Automated theorem proving Reasoning Semantic Web Artificial intelligence School of Computer Science University of Manchester Knowledge representation and reasoning Description logic Vampire Semantic reasoner Automated reasoning Web Ontology Language Resolution

UPDATE