There is a huge amount of data spread across the web and stored in databases that we can
use to build knowledge graphs. However, exploiting this data to build knowledge graphs is …

The Web is based on a browsing paradigm that makes it difficult to retrieve and integrate
data from multiple sites. yk &y, the only w&y t; g & this is to bl_? ild_ specialized applications, …

Despite considerable theoretical and computational work on coreference, deciding when
two entities or events are identical is very difficult. In a project to build corpora containing …

The Web is based on a browsing paradigm that makes it difficult to retrieve and integrate
data from multiple sites. Today, the only way to do this is to build specialized applications, …

We present the Omega ontology, a large terminological ontology obtained by remerging
WordNet and Mikrokosmos, adding information from various other sources, and subordinating …

Sex trafficking is the process and means of using force, fraud, or coercion to obtain and
compel men, women and children into commercial sexual exploitation. Prevalent in both …

The Web is based on a browsing paradigm that makes it difficult to retrieve and integrate
data from multiple sites. Today, the only way to achieve this integration is by building …

This paper describes a formal approach to domain-oriented software design environments,
based on declarative domain theories, formal specifications, and deductive program …

Victims of sex trafficking are compelled into sexual exploitation by the use of coercion, deception
or fraud, and often find themselves forced into a situation of imprisonment and slavery. …

This paper describes Amphion, a knowledge-based software engineering (KBSE) system
that guides a user in developing a formal specification of a problem and then implements this …