Abstract - Soundness Proof of Z Semantics of OWL Using Institutions

» Abstract - A Combined Approach to Checking Web Ontologies
» Abstract - A Scale-Out RDF Molecule Store for Distributed Processing of Biomedical Data
» Abstract - A Semantic Web Approach to Feature Modeling and Verification
» Abstract - A Tools Environment for Developing and Reasoning About Ontologies
» Abstract - A Z Approach in Validating ORA-SS Data Models
» Abstract - Belief-augmented OWL (BOWL) - Engineering the Semantic Web with Beliefs
» Abstract - BioMANTA Ontology: The Integration of Protein-Protein Interaction Data
» Abstract - Enhancing Semantic Web Services with Inheritance
» Abstract - Formal Semantics and Verification for Feature Modeling
» Abstract - Institution Morphisms for Relating OWL and Z
» Abstract - Reasoning about ORA-SS Data Models using the Semantic Web
» Abstract - Research into Verifying Semistructured Data
» Abstract - Scalable Semantics - the Silver Lining of Cloud Computing
» Abstract - Semantic Web Languages - Towards an Institutional Perspective
» Abstract - Soundness Proof of Z Semantics of OWL Using Institutions
» Abstract - TCOZ Approach to OWL-S Process Model Design
» Abstract - TCOZ Approach to Semantic Web Service Design
» Abstract - The BioMANTA Ontology: Integration of Protein-Protein Interaction Data
» Abstract - Validating Semistructured Data using OWL
» Abstract - Verify Feature Models using Prot¨¦g¨¦-OWL
» Abstract - Verifying DAML+OIL and Beyond in Z/EVES
» Abstract - Verifying Feature Models Using OWL
» Abstract - Verifying OWL and ORL Ontologies in PVS
» Abstract - Visualizing and Simulating Semantic Web Services Ontologies
» Abstract - XML-based Static Type Checking and Dynamic Visualization for TCOZ

QUICK LINKS
	ITEE Public Web
	Student IT Help
	ITEE Internal Web
	Staff IT Help

	Abstract - Soundness Proof of Z Semantics of OWL Using Institutions

The correctness of the Z semantics of OWL is the theoretical foundation of using software engineering techniques to verify Web ontologies. As OWL and Z are based on di#erent logical systems, we use institutions to represent their underlying logical systems and use institution morphisms to prove the correctness of the Z semantics for OWL DL.

privacy | feedback