Contents

 
Expand Mulgara | Semantic Store
Expand Mulgara Overview
 Mulgara Tools
Expand Mulgara FAQ
Expand Mulgara Downloads
 Mulgara Documentation
Expand Installation Guide
Expand Mulgara Tutorial
Expand Resolvers
Expand System Architecture
Expand Integration Tutorials
Expand iTQL Commands
Expand Advanced iTQL Operations
Expand Links to Other Resources
Expand Descriptors
Collapse Inferencing
   Expand Introduction to Inferencing
   Expand Inferencing and Mulgara
   Collapse OWL-Lite Operations Using iTQL
      Expand Entailment
      Collapse Consistency Checking
         Collapse Restricting Data Types
             owl:allValuesFrom
            Expand owl:someValuesFrom
         Expand Cardinality Operations
          owl:Nothing
          owl:Restriction
          owl:Thing
         Expand Ontology Management
   Expand SOFA
   Expand Inferencing Examples Using SOFA and iTQL
Expand Legal Information
Expand About the Mulgara Project
Expand Contact Information
 Index