SWCLOS User's Manual

This document is a revised version of NII Technical Report (NII-2009-014E).

Table of Contents

1. Introduction

2. SWCLOS Basics

   2.1  How to Get SWCLOS

   2.2  Proprietary Rights

   2.3  How to Start SWCLOS

   2.4  Monotonicity of Knowledge

   2.5  Open World Assumption and Three-Value Logic

3. URI, QName, and Resource

   3.1  URI

   3.2  QName

   3.3  URI Namedspace

   3.4  Resource

   3.5  NodeID

4. RDF Resource Objects

   4.1  Resource Objects and the Syntax in S-expression

   4.2  Adding and Getting a Resource Form

5. RDFS Vocabularies and Semantics

   5.1  Resource Classes, Metaclasses, and Instances

   5.2  rdf:type and rdfs:subClassOf

   5.3  rdfs:subPropertyOf

   5.4  Properties and Slots

   5.5  Adding Resource Objects

   5.6  Adding Slots

   5.7  Adding Slot Values

   5.8  Adding Multiple Types

   5.9  Extension of Property and Slot Definition

6. String, Number, Datatype, and Lang

   6.1  Literal

   6.2  XSD Datatypes in SWCLOS

   6.3  xml:lang in SWCLOS

7. RDF Collection

   7.1  RDF Container

   7.2  List

8. Domain and Range

   8.1  Adding Domain and Range Constraints

   8.2  Domain and Range Constraint Satisfaction

9. RDFS Axioms and Entailments

   9.1  RDF and RDFS Axioms

   9.2  RDFS Entailment

   9.3  RDF Entailment Rules

   9.4  RDFS Entailment Rules

10. RDF/XML Parser and Writer

    10.1  RDF/XML Parser

    10.2  RDF/XML Writer

11. N-Triples

    11.1  N-Triple Parser

    11.2  Adding N-Triples

    11.3  N-Triple Writer

12. OWL in SWCLOS

    12.1  OWL Extension of RDF and RDFS

    12.2  Description Logic and OWL in SWCLOS

    12.3  OWL Property Restrictions

    12.4  Substantial and Non-Substantial Relationship

    12.5  Axiomatic Complete Relations

13. OWL Axioms and Entailment Rules

    13.1  OWL Axioms

    13.2  OWL Semantics and Entailment Rules

14. OWL APIs

    14.1  Subsumption in OWL

Acknowledgements

SWCLOS was developed at one of the Japanese IT programs titled "Building Operation Support System for Large-Scale Systems using IT", that was conducted by the Ministry of Education, Culture, Sports, Science, and Technology from 2002 to 2005 fiscal year. After 2005, SWCLOS is updated and maintained by Seiji Koide at IHI Corporation and National Insitute of Informatics.