   |
AsTMa! Tutorial
Erica Santosaputri esantosa@student.bond.edu.au
Copyright © 2003 Erica Santosaputri
This tutorial provides an introduction to AsTMa!, a topic map based ontology specification language. AsTMa! allows to define constraints on topic maps documents using logic operators and patterns based on the topic map paradigm. Using a running example this work demonstrates some language features.
Introduction
Existence Quantified Constraints
Conditional Quantified Constraints
Boolean Quantified Constraints
Summary