- IJCAI 2005 1 Building the Semantic Web Tower from RDF Straw
- Journal of Logic and Computation, 9:3, June 1999, pages 267--293. Optimising Description Logic Subsumption
- Usability Issues in Knowledge Representation Systems
- Modeling Dynamic Collections of Interdependent Objects Using PathBased Rules
- Device Representation and Reasoning with Affective Relations James M. Crawford \Lambda
- What is OWL (and why should I care)? Peter F. Patel-Schneider
- A Revised Architecture for Semantic Web Reasoning Peter F. Patel-Schneider
- 2002 International Description Logic Workshop, Toulouse, France, April 2002.
- Optimising Terminological Reasoning for Expressive Description Dmitry Tsarkov, Ian Horrocks and Peter F. Patel-Schneider
- Reducing OWL Entailment to Description Logic Satisfiability
- The First International Semantic Web Conference (ISWC2002), Sardinia, Italy, June 2002.
- Meaning and the Semantic Web Bijan Parsia
- Three Theses of Representation in the Semantic Web Ian Horrocks
- A Proposal for an OWL Rules Language Ian Horrocks
- Meaning and the Semantic Web # Bijan Parsia
- R++: Adding PathBased Rules to C++ James M. Crawford
- The Eleventh International World Wide Web Conference, Honolulu, Hawaii, May 2002.
- PathBased Rules in ObjectOriented Programming James M. Crawford \Lambda
- Journal of Artificial Intelligence Research 18 (2003) 351389 Submitted 10/02; published 5/03 A New General Method to Generate Random Modal Formulae for
- An Analysis of Empirical Testing for Modal Decision Procedures
- First International Semantic Web Conference (ISWC2002), Sardinia, Italy, June 2002.
- The First International Semantic Web Conference (ISWC2002), Sardinia, Italy, June 2002.
- Second International Semantic Web Conference (ISWC2003), Sundial Resort, Florida, USA, October 2003.
- Journal of Logic and Computation, 9:3, June 1999, pages 267293. Optimising Description Logic Subsumption
- March 2, 1995 R++ User Manual
- Journal of Artificial Intelligence Research 18 (2003) 351--389 Submitted 10/02; published 5/03 A New General Method to Generate Random Modal Formulae for
- IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING 1 The Yin/Yang Web: A Unified Model for XML
- An Analysis of Empirical Testing for Modal Decision Procedures
- R++: Using Rules in ObjectOriented Designs Anil Mishra, Johannes P. Ros
- PathBased Production Rules James M. Crawford \Lambda
- 38 1094-7167/01/$10.00 2001 IEEE IEEE INTELLIGENT SYSTEMS T h e S e m a n t i c W e b
- Semantic Web Architecture: Stack or Two Towers?
- Evaluating Optimised Decision Procedures for Propositional Modal K (m)
