ACUITy
Overview|
LINKS TO RELATED WORK You might find the following links useful: |
|
- Work-Centered Support Systems (WCSS) and Work-Centered Design
- WCSS Home at the AFRL Human Effectiveness Directorate
- Jena Semantic Web Project
- OWL and RDF
- Excellent (!!) OWL Tutorial by Matthew Horridge
- OWL Reference Document: W3C proposed recommendation
- OWL Language Guide: W3C
- OWL Overview by Alan Preece (PPT)
- An OWL Validator: by Sean Bechhofer of the University of Manchester and Raphael Volz of the University of Karlsruhev
- vOWLidator (OWL Validator): by BBN Technologies
- RDF Primer: Excellent introduction to RDF, RDF Schema, with examples (***** five stars)
- OWL Query Language (OWL_QL) Project Home
- DAML to OWL converter by University of Maryland (Hendler)
- OWL Consistency Checker by University of Maryland
- Proposal for a BBN version of OWL
- OWL Full and UML 2.0 Compared (interesting discussion which indirectly illuminates some OWL meanings)
- OWL Extensions (1.1) Discussion Archives
- From SHIQ and RDF to OWL: The Making of a Web Ontology Language by Ian Horrocks, Peter F. Patel-Schneider, and Frank van Harmelen
- A Comparison of RDF Query Languages by Peter Haase et. al
- Combining SWRL rules and OWL ontologies with Protégé OWL Plugin, Jess, and Racer
- Protege
- Protege Discussion Thread Index (most of the discussion these days is the OWL plugin)
- Protege Knowledge Model (this is pre-OWL plugin, but useful in understanding the Protege slant; see also other Protege publications)
- Other Links
- XML Schema Builtin Datatypes
- Situation Awareness Ontology (SAW): Uses UML as a modeling paradigm for situation awareness, converts automatically to OWL
- NIST Process Specification Language (PSL): more particularly PSL Ontology
- Semantic Markup for Web Services (OWL-S): includes an upper ontology for services and concepts for atomic, simple, and composite processes
- Beyond Monotonic Inheritance: Towards Semantic Web Process Ontologies: using RuleML to prune and override inheritance in process representations
- FCA Lattice Calculator
- More of John Sowa
- CO-ODE/HyOntUse Resources Page
- Towards a methodology for ontology based model engineering, Nicola Guarino and Christopher Welty
- (See also Chris Welty's Publications List.)
- Modularisation of Domain Ontologies Implemented in Description Logics and related formalisms including OWL, Alan L Rector
- An Ontology of Meta-Level Categories, Nicola Guarino, Massimiliano Carrara, and Peirdaniele Giaretta
- OpenGALEN Upper Ontology Reconstruction, with OWL ontology download and paper references by Alan Rector
- Defaults, Context, and Knowledge: Alternatives for OWL-Indexed Knowledge Bases by A. Rector
- Towards a Modification Exchange Language for Distributed RDF Repositories
- Practical DL Reasoning over Large ABoxes with KAON2: interesting paper on KAON2 vs. Tableau Reasoner