Background: Although ontology naming conventions have been proposed by policy makers, the lack of tool support for testing and enforcing naming practices has hindered widespread compliance. We have developed OntoCheck, a Protégé plugin, which allows testing labels in an ontology on naming inconsistencies. Objective: We report on initial experience in applying the tool in different settings and ...

We present soundness and completeness theorems for our earlier work on modeling trust management systems. We then investigate the addition of distributed structured naming to the model, and prove that naming and authorization are orthogonal in a precise sense. The orthogonality theorem gives us soundness and completeness theorems for the entire system, in effect yielding a clean decomposition b...