In the past five years, we have designed and evolved an interlingua for sharing explanations
generated by various automated systems such as hybrid web-based question answering …

As the Semantic Web has enabled new application capabilities, new interaction modes arise
and grow in importance. Applications can now not only retrieve results but also use term …

The ubiquitous non-semantic web includes a vast array of unstructured information such as
HTML documents. The semantic web provides more structured knowledge such as hand …

A method is developed to extract important curves, corresponding to physical boundaries of
objects, from a range image. It is shown how to infer, from these curves, a segmentation of …

In this chapter, we introduce the concept of explanation for Semantic Web applications by
providing motivation, description, and examples. We describe the Inference Web …

Software systems are becoming increasingly complex. Common everyday applications like
word processors and email clients often contain sophisticated algorithms for classifying …

Analysts who are interested in quickly identifying new and emerging scientific
advancements have numerous challenges as the breadth, depth, and volume of scientific …

In order to compare the quality of proofs, it is necessary to measure artifacts of the proofs,
and evaluate the measurements to determine differences between the proofs. This paper …

In decision support systems such as those designed to predict scientific and technical
emergence based on analysis of collections of data the presentation of provenance lineage …

This thesis presents provability-based semantic interoperability (PBSI), a type of semantic
interoperability characterized by the ability to express complex relationships between …