]> 2012-05-27T21:40:10-04:00 Knowledge Systems, AI Laboratory, Stanford University Knowledge Systems, AI Laboratory, Stanford University Daml-ont: an ontology language for the semantic web Introspective predicates for explaining task execution in calo Plan for explaining task execution in calo An axiomatic semantics for rdf, rdf schema, and daml+oil A first-order logic semantics for semantic web markup languages Semantic web tools for enhanced authoring Ontologies come of age (2001) Inference web: portable explanations for the web Exposing extracted knowledge supporting answers Ontology development 101: a guide to creating your first ontology Explaining problem solver answers Combinable proof fragments for the web A proof markup language for semantic web services (tr) Ppdr: a proof protocol for deductive reasoning Towards checking hybrid proofs Institution Name Thing Organization