Goto

Collaborating Authors

 Ontologies


Capturing and Using Knowledge about the Use of Visualization Toolkits

AAAI Conferences

When constructing visualization pipelines using toolkits, developers must understand what sequencing of operators will transform their data from its raw state to some requested visual representation. In some cases, the requested visual representation must be generated from hybrid pipelines, composed of both toolkit-based and custom operators. Traditionally, developers learn about how to construct these visualization pipelines by word of mouth, by reading documentation and by inspecting code examples, all of which can be costly in terms of time and effort expended. The Visualization Knowledge Project (VisKo) is built on a knowledge base of visualization toolkit operators including rules for how operators are chained together to form pipelines. VisKo helps scientists by automatically generating and suggesting fully functional visualization pipelines, alleviating scientists from having to write any pipeline code. This paper reports on the kinds of knowledge required to support automatic pipeline generation as well our successes when applying VisKo to a number of visualizations scenarios spanning geophysics, environmental and materials science.


Invited Talks

AAAI Conferences

His informatics group built the reusable software platform for Stembook Despite the fact that we now have access to almost all peer reviewed (www.stembook.org), William Cohen exchanged and is orthogonal to any specific biomedical domain The growing size of the scientific literature has led to a number of ontology. We believe this approach will be extremely useful in attempts to automatically extract entities and relationships from drug discovery to break down information silos, increase information scientific papers, and then to populate databases with this extracted awareness and sharing, and integrate terminologies and information. In my group we have been exploring techniques data with documents and text, both public and private. We will for using this sort of extracted information for specific tasks, discuss applications we are currently developing in collaboration including "bootstrapping" to improve the coverage of an extraction with a major pharma.


Detecting Document Types, Plot Twists, and Humor

AAAI Conferences

Some humorous texts can be detected by stereotyped patterns and terminology. But a humorous story or situation is often an exaggeration of patterns that also occur in serious texts: novelty, unusual plot twists, and situations that disrupt normal social conventions. The same methods for detecting novelty in serious texts can be adapted to detecting novelty in a humorous situation, but with additional tests for features that make it humorous. To interpret and reason about natural language texts, VivoMind Research has developed a cognitive architecture based on societies of heterogeneous intercommunicating agents that use conceptual graphs (CGs) as the knowledge representation. CGs are designed for representing semantics at the level of sentences and paragraphs, but they must be related to larger patterns that span an entire story, article, or book. For detecting and analyzing large-scale patterns, catastrophe theoretical semantics has proved to be surprisingly effective. This article discusses applications to both fictional and nonfictional documents of various kinds, both serious and humorous.


An Ontological Representation Model to Tailor Ambient Assisted Interventions for Wandering

AAAI Conferences

Wandering is a problematic behavior that is common among people with dementia (PwD), and is highly influenced by the elders’ background and by contextual factors specific to the situation. We have developed the Ambient Augmented Memory System (AAMS) to support the caregiver to implement interventions based on providing external memory aids to the PwD. To provide a successful intervention, it is required to use an individualized approach that considers the context of the PwD situation. To reach this end, we extended the AAMS system to include an ontological model to support the context-aware tailoring of interventions for wandering. In this paper, we illustrate the ontology flexibility to personalize the AAMS system to support direct and indirect interventions for wandering through mobile devices.


Verbalizing Ontologies in Controlled Baltic Languages

arXiv.org Artificial Intelligence

Controlled natural languages (mostly English-based) recently have emerged as seemingly informal supplementary means for OWL ontology authoring, if compared to the formal notations that are used by professional knowledge engineers. In this paper we present by examples controlled Latvian language that has been designed to be compliant with the state of the art Attempto Controlled English. We also discuss relation with controlled Lithuanian language that is being designed in parallel.


A Goal-Directed Implementation of Query Answering for Hybrid MKNF Knowledge Bases

arXiv.org Artificial Intelligence

Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rules use non-monotonic, closed-world reasoning. One exception is the tightly-coupled framework of Minimal Knowledge and Negation as Failure (MKNF), which allows statements about individuals to be jointly derived via entailment from an ontology and inferences from rules. Nonetheless, the practical usefulness of MKNF has not always been clear, although recent work has formalized a general resolution-based method for querying MKNF when rules are taken to have the well-founded semantics, and the ontology is modeled by a general oracle. That work leaves open what algorithms should be used to relate the entailments of the ontology and the inferences of rules. In this paper we provide such algorithms, and describe the implementation of a query-driven system, CDF-Rules, for hybrid knowledge bases combining both (non-monotonic) rules under the well-founded semantics and a (monotonic) ontology, represented by a CDF Type-1 (ALQ) theory. To appear in Theory and Practice of Logic Programming (TPLP)


Learning Onto-Relational Rules with Inductive Logic Programming

arXiv.org Artificial Intelligence

Rules complement and extend ontologies on the Semantic Web. We refer to these rules as onto-relational since they combine DL-based ontology languages and Knowledge Representation formalisms supporting the relational data model within the tradition of Logic Programming and Deductive Databases. Rule authoring is a very demanding Knowledge Engineering task which can be automated though partially by applying Machine Learning algorithms. In this chapter we show how Inductive Logic Programming (ILP), born at the intersection of Machine Learning and Logic Programming and considered as a major approach to Relational Learning, can be adapted to Onto-Relational Learning. For the sake of illustration, we provide details of a specific Onto-Relational Learning solution to the problem of learning rule-based definitions of DL concepts and roles with ILP.


Get my pizza right: Repairing missing is-a relations in ALC ontologies (extended version)

arXiv.org Artificial Intelligence

With the increased use of ontologies in semantically-enabled applications, the issue of debugging defects in ontologies has become increasingly important. These defects can lead to wrong or incomplete results for the applications. Debugging consists of the phases of detection and repairing. In this paper we focus on the repairing phase of a particular kind of defects, i.e. the missing relations in the is-a hierarchy. Previous work has dealt with the case of taxonomies. In this work we extend the scope to deal with ALC ontologies that can be represented using acyclic terminologies. We present algorithms and discuss a system. This is an extended version of [18].


Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach

Journal of Artificial Intelligence Research

There is currently a growing interest in techniques for hiding parts of the signature of an ontology Kh that is being reused by another ontology Kv. Towards this goal, in this paper we propose the import-by-query framework, which makes the content of Kh accessible through a limited query interface. If Kv reuses the symbols from Kh in a certain restricted way, one can reason over Kv U Kh by accessing only Kv and the query interface. We map out the landscape of the import-by-query problem. In particular, we outline the limitations of our framework and prove that certain restrictions on the expressivity of Kh and the way in which Kv reuses symbols from Kh are strictly necessary to enable reasoning in our setting. We also identify cases in which reasoning is possible and we present suitable import-by-query reasoning algorithms.


An Agent-based framework for cooperation in Supply Chain

arXiv.org Artificial Intelligence

Supply Chain coordination has become a critical success factor for Supply Chain management (SCM) and effectively improving the performance of organizations in various industries. Companies are increasingly located at the intersection of one or more corporate networks which are designated by "Supply Chain". Managing this chain is mainly based on an 'information sharing' and redeployment activities between the various links that comprise it. Several attempts have been made by industrialists and researchers to educate policymakers about the gains to be made by the implementation of cooperative relationships. The approach presented in this paper here is among the works that aim to propose solutions related to information systems distributed Supply Chains to enable the different actors of the chain to improve their performance. We propose in particular solutions that focus on cooperation between actors in the Supply Chain.