Contents
Mulgara | Semantic Store
Mulgara Overview
Mulgara Tools
Mulgara FAQ
Mulgara Downloads
Mulgara Documentation
Installation Guide
Mulgara Tutorial
Resolvers
System Architecture
Integration Tutorials
iTQL Commands
Advanced iTQL Operations
Links to Other Resources
Descriptors
Inferencing
Introduction to Inferencing
Inferencing and Mulgara
OWL-Lite Operations Using iTQL
Entailment
owl:AllDifferent
owl:distinctMembers
owl:Class
owl:FunctionalProperty
owl:sameAs
owl:InverseFunctionalProperty
owl:differentFrom
Symmetry
Inconsistencies
owl:inverseOf
owl:SymmetricProperty
owl:TransitiveProperty
owl:equivalentClass
owl:equivalentProperty
owl:intersectionOf
Consistency Checking
SOFA
Inferencing Examples Using SOFA and iTQL
Legal Information
About the Mulgara Project
Contact Information
Index