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
      Collapse Entailment
          owl:AllDifferent
          owl:distinctMembers
          owl:Class
          owl:FunctionalProperty
         Expand owl:sameAs
          owl:InverseFunctionalProperty
         Collapse owl:differentFrom
             Symmetry
             Inconsistencies
          owl:inverseOf
          owl:SymmetricProperty
          owl:TransitiveProperty
          owl:equivalentClass
          owl:equivalentProperty
          owl:intersectionOf
      Expand Consistency Checking
   Expand SOFA
   Expand Inferencing Examples Using SOFA and iTQL
Expand Legal Information
Expand About the Mulgara Project
Expand Contact Information
 Index