Description Logics—Basics, Applications, and More Ian Horrocks Information Management Group University of Manchester, UK Ulrike Sattler

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

Decidability of SHIQ with Complex Role Inclusion Axioms Ian Horrocks and Ulrike Sattler Computer Science Department, University of Manchester, UK Extending SHIQ with expressive means for

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

Orthogonal Scheduling of Stencil Computations with Chapel Iterators Ian J. Bertolacci Advisers Catherine Olschanowsky, Michelle Mills Strout

Source URL: chapel.cray.com

Description Logic: Axioms and Rules Ian Horrocks University of Manchester Manchester, UK

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

A NSWERING Q UERIES OVER OWL O NTOLOGIES WITH SPARQL Ilianna Kollia Birte Glimm Ian Horrocks presented by Mike Grove OWL ED 2011

Source URL: webont.org

• Semantic Web
• Resource Description Framework
• Knowledge representation
• School of Computer Science
• University of Manchester
• Knowledge engineering
• RDF Schema
• SPARQL
• Ontology
• Web Ontology Language
• Ian Horrocks

DAML+OIL Technical Detail Ian Horrocks University of Manchester Manchester, UK

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

From  Search  to  Observation  II: Part  of  the   of Web  Observatories Ian  C.  Brown Web  Science  Institute,  University of  Southampton

Source URL: webscience.me

Description Logic Programs: Combining Logic Programs with Description Logic Benjamin N. Grosof Ian Horrocks

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

Students’ Ideas in Novel Situations: Misconceptions or Fragmented Pieces of Knowledge? 1, 2 Nikolaos Fotou1, Ian Abrahams2 University of Lincoln, School of Education (United Kingdom)

Source URL: conference.pixel-online.net

MechE Features Ian Hunter: Innovator Actuator Professor Ian Hunter has high standards for his students. Of the six areas of knowledge required for his Bioinstrumentation Lab - biology, optics, mechanics, mathematics, ele

Source URL: bioinstrumentation.mit.edu