Communicating sequential processes
Communicating sequential processes
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
Alcoa: the alloy constraint analyzer
Proceedings of the 22nd international conference on Software engineering
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
OilEd: A Reason-able Ontology Editor for the Semantic Web
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
PVS: A Prototype Verification System
CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
Verifying DAML+OIL and Beyond in Z/EVES
Proceedings of the 26th International Conference on Software Engineering
Soundness proof of Z semantics of OWL using institutions
WWW '05 Special interest tracks and posters of the 14th international conference on World Wide Web
Ontology evaluation using wikipedia categories for browsing
Proceedings of the sixteenth ACM conference on Conference on information and knowledge management
Requirements-oriented methodology for evaluating ontologies
Information Systems
Requirements-oriented methodology for evaluating ontologies
Information Systems
A formal model of the Semantic Web Service Ontology (WSMO)
Information Systems
Verifying OWL and ORL ontologies in PVS
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Evaluating ontology criteria for requirements in a geographic travel domain
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II
R2RIF - rule integration plugin for protégé OWL
EUROCAST'11 Proceedings of the 13th international conference on Computer Aided Systems Theory - Volume Part I
| Hi-index | 0.00 |
The understanding of Semantic Web documents is built upon ontologies that define concepts and relationships of data. Hence, the correctness of ontologies is vital. Ontology reasoners such as RACER and FaCT have been developed to reason ontologies with a high degree of automation. However, complex ontology-related properties may not be expressible within the current web ontology languages, consequently they may not be checkable by RACER and FaCT. We propose to use the software engineering techniques and tools, i.e., Z/EVES and Alloy Analyzer, to complement the ontology tools for checking Semantic Web documents.In this approach, Z/EVES is first applied to remove trivial syntax and type errors of the ontologies. Next, RACER is used to identify any ontological inconsistencies, whose origins can be traced by Alloy Analyzer. Finally Z/EVES is used again to express complex ontology-related properties and reveal errors beyond the modeling capabilities of the current web ontology languages. We have successfully applied this approach to checking a set of military plan ontologies.