Alex Borgida

Learn More
Corporate databases are potentially rich sources of new and valuable knowledge. Various approaches to "discovering" or "mining" such knowledge have been proposed. We identify an important and previously ignored discovery task, data archaeology. Data archaeology is a skilled human task, in which the knowledge sought depends on the goals of the analyst,(More)
This paper presents some of the underlying principles of description logics (also known as terminological logics or kl-one-style languages), grounding them in the lattice of terms organized by the so-called \subsumption" relationship. A survey of the increasingly varied uses of description logics, including industrial applications, is presented by(More)
  • J A C K M O S T O W And A R M, E Prieditis, +13 authors Bob Webber
  • 2010
W e present a n i m p l e m e n t e d m o d e l for d iscov-­ e r i n g a class of s ta te-­space search heur is t i cs . F i r s t , abstractions of a s tate-­space p r o b l e m are genera ted b y d r o p p i n g i n f o r m a t i o n f r o m the p r o b l e m d e f i n i t i o n . A n o p t i m a l s o l u t i o n p a t h fo r a n y such a b s t r a c t(More)
We are interested in providing semi-automatic support for the task of integrating large knowledge bases (KBs) through the use of structural information in description logics. For that reason we set up a formal framework for the integration of KBs which enables us to investigate the potential and limits of using structural information (in contrast to just(More)
It is of significant value for an organization to be able toanalyze and assist business processes by capturing them in a<i>process modeling language.</i> It describes the tasks to beperformed in steps and their coordination in a <i>schema,</i> whose<i>enactment</i> is a specific instance (<i>workcase</i>) thatunfolds over time. In such an environment, a(More)
Research issues related to requirements modeling are introduced and discussed through a review of the requirements modeling language RML, its peers and its successors from the time it was first proposed at the Sixth International Conference on Software Engineering (ICSE-6) to the present—ten ICSEs later. We note that the central theme of “Capturing More(More)
In an open component market place, interface description languages (IDLs), such as CORBA’S, provide for the consumer only a weak guarantee (concerning type signatures) that a software service will work in a particular context as anticipated. Stronger guarantees, regarding the intended semantics of the service, would help, especially if formalized in a(More)
Mundane, everyday, reasoning is fast. Given the inherent complexity of sound and complete reasoning with representations expressive enough to capture what people seem to know, commonsense reasoning must require shortcuts and assumptions. Some means of simplifying the retrieval of the inferential consequences of a set of facts is obviously required. Instead(More)