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
Consistency Checking
Restricting Data Types
Cardinality Operations
owl:Nothing
owl:Restriction
owl:Thing
Ontology Management
owl:AnnotationProperty
owl:backwardCompatibleWith
owl:DeprecatedClass
owl:DeprecatedProperty
owl:imports
owl:incompatibleWith
owl:Ontology
owl:OntologyProperty
owl:priorVersion
owl:versionInfo
SOFA
Inferencing Examples Using SOFA and iTQL
Legal Information
About the Mulgara Project
Contact Information
Index