Sciweavers

3 search results - page 1 / 1
» Abstracting Web Agent Proofs into Human-Level Justifications
Sort
View
FLAIRS
2007
13 years 9 months ago
Abstracting Web Agent Proofs into Human-Level Justifications
Vasco Furtado, Paulo Pinheiro da Silva, Deborah L....
SEMWEB
2010
Springer
13 years 4 months ago
Justification Oriented Proofs in OWL
Abstract. Justifications -- that is, minimal entailing subsets of an ontology -- are currently the dominant form of explanation provided by ontology engineering environments, espec...
Matthew Horridge, Bijan Parsia, Ulrike Sattler
IS
2006
13 years 6 months ago
A proof markup language for Semantic Web services
The Semantic Web is being designed to enable automated reasoners to be used as core components in a wide variety of Web applications and services. In order for a client to accept ...
Paulo Pinheiro da Silva, Deborah L. McGuinness, Ri...