Horrocks - PDFSEARCH.IO - Document Search Engine

Horrocks
Results: 147

#	Item
111	Project No : FP7[removed]Project Acronym: Add to Reading List Source URL: www.optique-project.eu Language: English - Date: 2013-11-25 03:19:37 Information science Knowledge engineering Knowledge representation Artificial intelligence Ontology Description logic Ian Horrocks Semantic reasoner International Semantic Web Conference Semantic Web Information Science
112	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
113	LogMap and LogMapLt results for OAEI 2013 Ernesto Jim´enez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks Department of Computer Science, University of Oxford, Oxford, UK Abstract. We present the results obtained in the OAEI Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-10-10 12:06:04 Knowledge representation Science Knowledge engineering Information science Description logic Web Ontology Language Abox Cyc Semantic reasoner Ontology Information Semantic Web
114	Bulletin of the American Society for Information Science and Technology – December/January 2011 – Volume 37, Number 2 Inside New Officers and Directors Join ASIS&T Board ASIS&T E ach year at the ASIS&T Annual Meetin Add to Reading List Source URL: www.asis.org Language: English - Date: 2014-07-19 18:54:01 Academia American Society for Information Science and Technology School of Communication and Information Marcia J. Bates Library and information science Alam Shah Science School Norman Horrocks Jorge Reina Schement Education for librarianship Information science Library science Science
115	LogMap and LogMapLt Results for OAEI 2012 Ernesto Jim´enez-Ruiz, Bernardo Cuenca Grau, and Ian Horrocks Department of Computer Science, University of Oxford {ernesto,berg,ian.horrocks}@cs.ox.ac.uk Abstract. We present Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2012-10-16 06:01:52 Information science Science Knowledge representation Knowledge engineering Web Ontology Language Description logic Cyc Ontology Information Semantic Web
116	For Immediate Release For More Information Contact: Elaine Wilner[removed]or [removed] Add to Reading List Source URL: www.apsmuseum.org Language: English - Date: 2012-03-07 15:56:07 Fellows of the Royal Society Transit of Venus David Rittenhouse University of Pennsylvania American Philosophical Society Astronomical transit Jeremiah Horrocks Johannes Kepler Philosophical Hall Astrology Astrological aspects Astrometry
117	Dave Dooling , Outreach & Education Officer NSO/Sacramento Peak P.O. Box 62 Sunspot, NM[removed]Ph[removed]e-mail: [removed] Add to Reading List Source URL: www.nso.edu Language: English - Date: 2011-07-13 12:53:22 Astrometry Terrestrial planets Venus Transit of Venus Astronomical transit Astronomical unit Transit of Mercury Mercury Jeremiah Horrocks Astrology Astronomy Astrological aspects
118	Working Paper, version of Nov. 21, 2002 Description Logic Programs: Combining Logic Programs with Description Logic Benjamin N. Grosof Ian Horrocks Add to Reading List Source URL: www.daml.org Language: English - Date: 2002-11-25 10:16:16 Science Ontology Markup languages Knowledge engineering Knowledge representation Description logic Knowledge representation and reasoning DAML+OIL DAML-S Semantic Web Information Computing
119	Description Logic Programs: Overview for DAML and WebOnt Adapted from Presentation for DAML PI Meeting, made Oct. 17, 2002, Portland, OR, USA This version is from Oct. 21, 2002. Add to Reading List Source URL: www.daml.org Language: English - Date: 2002-10-29 15:50:59 Computing Information science Markup languages Ontology Artificial intelligence Description logic DAML-S DAML+OIL Ian Horrocks Science Semantic Web Information
120	Testimony of David Horrocks, JASON Task Force, July 31, 2014 Add to Reading List Source URL: www.healthit.gov Language: English - Date: 2014-08-04 07:58:50 Medical informatics Health information exchange Chesapeake Regional Information System for our Patients Interoperability Regional Health Information Organization Health Health informatics Medicine

UPDATE