DAML+OIL for Application Developers
by Mike Dean

Table of contents

• DAML+OIL for Application Developers: An Introduction to the Semantic Web
• Nominal Schedule
• My Background
• Tutorial Objectives
• Outline
• INTRODUCTION
• Semantic Web
• Some Semantic Web Examples
• Previous Work
• Major Semantic Web Participants
• DARPA DAML Program
• DAML Approach
• DAML Experiment
• Further Background Reading
• Ontologies
• Semantic Web Language Layering
• Steps Toward the Semantic Web
• RDF Graph Model
• Uniform Resource Identifiers (URIs)
• RDF Schema
• Subproperties
• XML Namespaces
• DAML+OIL Ontology
• EXAMPLE/DEMONSTRATION
• Demo Scenario
• DAML+OIL Content Used in Example
• DAML+OIL XML SYNTAX
• RDF/XML Syntax
• rdf:RDF
• rdf:Description
• rdf:ID
• typedNodes
• Anonymous Nodes
• Striping
• Literal parseType
• Statement IDs
• RDF Abbreviated Syntax
• Embedding RDF in HTML
• Content Negotiation
• RDF Containers
• DAML+OIL Syntax
• Notation 3
• CREATING DAML+OIL CONTENT
• Options for Creating DAML+OIL Content
• Manual Markup
• Debugging DAML+OIL Content
• DAML+OIL Validation
• Generating DAML+OIL Content from Databases
• Generating DAML+OIL Content from XML
• Generating DAML+OIL Content from HTML
• Generating DAML+OIL Content from Natural Language
• Programmatic Generation
• USING DAML+OIL CONTENT
• DAML+OIL Design Patterns
• Options for Using DAML+OIL Content
• Procedural Code
• Available APIs for DAML+OIL
• API Layers
• Vocabularies
• Jena Example: Reading DAML+OIL
• Jena Example: Writing DAML+OIL
• Dynamic Model
• End-User Tools Using DAML+OIL Content
• DAML+OIL LANGUAGE
• Motivation
• XML Schema Datatypes
• DAML+OIL Properties
• Local Restrictions
• daml:toClass
• Cardinality Restrictions
• Validation vs. Inference
• Qualified Restrictions
• daml:List
• daml:collection parseType
• daml:oneOf
• Namespaces
• Class Expressions
• daml:unionOf
• daml:intersectionOf
• daml:complementOf
• daml:hasValue
• daml:hasClass
• Ontology Mapping
• Instance Mapping
• Hints for Reasoners
• daml:disjointWith
• daml:inverseOf
• daml:TransitiveProperty
• daml:UnambiguousProperty
• daml:Ontology
• Other Constructs
• Formal Semantics
• Definitive References
• CREATING ONTOLOGIES
• Ontology Authoring Options
• Ontology Reuse
• Ontology Import
• GUI Ontology Tools
• Viewing Ontologies
• Analyzing Ontologies
• REASONING WITH DAML+OIL
• Reasoning Tools Supporting DAML+OIL
• Java Expert System Shell (JESS)
• XSB Prolog
• Closed World Machine (cwm)
• Java Theorem Prover (JTP)
• TRIPLE
• SOME DAML+OIL APPLICATIONS
• Horus
• ITtalks
• DASADA
• PRACTICAL ISSUES
• Naming: URIs
• Naming: IDs
• Access Patterns
• Conventions
• Security
• EMERGING AREAS
• W3C RDF Core WG
• W3C Web Ontology (WebOnt) WG
• DAML Services (DAML-S)
• Query
• Query Example: RDQL
• Query Example: DSSS
• Query Example: DQL
• Rules
• Search
• RESOURCES
• DAML+OIL Resources
• More Information