The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge

Documents Authored by: Ioannis Kalfoglou

Please note that only papers and publications recorded in this departments database are shown here. An author may have many other papers and publications produced while working elsewhere which are not listed here. This page does not therefore represent a definitive list of this authors work.

Discussion Paper

DP193 1998 Discussion Paper Kalfoglou,I
PhD Thesis Proposal: Critiquing of Specifications based on Ontologies

Research Paper

RP927 1999 Research Paper Kalfoglou,I; Robertson,DS
An Experiment in Applying Ontologies to Augment and Reason about the Correctness of Specifications
RP948 1999 Research Paper Kalfoglou,I; Robertson,DS
Managing Ontological Constraints
RP952 1999 Research Paper Kalfoglou,I
Panel Discussion notes: Knowledge Maintenance - The Role of Formal Ontologies
RP887 1998 Research Paper Kalfoglou,I; Robertson,DS
Error Checking in the Process Interchange Format (Pif) Ontology
RP935 1998 Research Paper Kalfoglou,I; Robertson,DS
Use of Formal Ontologies to Support Error Checking in Specifications

Technical Paper

TP46 1998 Technical Paper Kalfoglou,I; Robertson,DS
Error Detection in Specifications based on Ontologies

RP956 1999 Kalfoglou,I; Robertson,DS; Tate,AB
Using Meta-Knowledge at the Application Level
TP47 1998 Kalfoglou,I
Applying Ontological Engineering to Ecological Modelling: Detection of Conceptual Errors

[Search These Pages] [DAI Home Page] [Comment]