PML Validation Service (alpha version)

1. Choose background PML Ontology

     

2. Input PML document ( Please choose only one option)

URL
e.g. http://iw4.stanford.edu/proofs/tonys/tonys/tonysns1_0.owl
Text 

  3. validation options

validate recursively           verbose result          error handling 

References

  1. PML validation: principles and examples (draft)

Copyright @2005 Stanford University,  All Rights Reserved.