Goto

Collaborating Authors

 type owl


Towards a Modular Ontology for Space Weather Research

Shimizu, Cogan, McGranaghan, Ryan, Eberhart, Aaron, Kellerman, Adam C.

arXiv.org Artificial Intelligence

The interactions between the Sun, interplanetary space, near Earth space environment, the Earth's surface, and the power grid are, perhaps unsurprisingly, very complicated. The study of such requires the collaboration between many different organizations spanning the public and private sectors. Thus, an important component of studying space weather is the integration and analysis of heterogeneous information. As such, we have developed a modular ontology to drive the core of the data integration and serve the needs of a highly interdisciplinary community. This paper presents our preliminary modular ontology, for space weather research, as well as demonstrate a method for adaptation to a particular use-case, through the use of existential rules and explicit typing.


An Introduction to Artificial Intelligence Applied to Multimedia

Lima, Guilherme, Costa, Rodrigo, Moreno, Marcio Ferreira

arXiv.org Artificial Intelligence

In this chapter, we give an introduction to symbolic artificial intelligence (AI) and discuss its relation and application to multimedia. We begin by defining what symbolic AI is, what distinguishes it from non-symbolic approaches, such as machine learning, and how it can used in the construction of advanced multimedia applications. We then introduce description logic (DL) and use it to discuss symbolic representation and reasoning. DL is the logical underpinning of OWL, the most successful family of ontology languages. After discussing DL, we present OWL and related Semantic Web technologies, such as RDF and SPARQL. We conclude the chapter by discussing a hybrid model for multimedia representation, called Hyperknowledge. Throughout the text, we make references to technologies and extensions specifically designed to solve the kinds of problems that arise in multimedia representation.


An Experiment on the Connection between the DLs' Family DL and the Real World

Pisasale, Antonio, Cantone, Domenico

arXiv.org Artificial Intelligence

This paper describes the analysis of a selected testbed of Semantic Web ontologies, by a SPARQL query, which determines those ontologies that can be related to the description logic DL, introduced in [4] and studied in [9]. We will see that a reasonable number of them is expressible within such computationally efficient language. We expect that, in a long-term view, a temporalization of description logics, and consequently, of OWL(2), can open new perspectives for the inclusion in this language of a greater number of ontologies of the testbed and, hopefully, of the "real world".


Combining Uncertainty and Description Logic Rule-Based Reasoning in Situation-Aware Robots

Krieger, Hans-Ulrich (DFKI GmbH, German Research Center For Artificial Intelligence) | Kruijff, Geert-Jan M. (DFKI GmbH, German Research Center For Artificial Intelligence)

AAAI Conferences

The paper addresses how a robot can maintain a state representation of all that it knows about the environment over time and space, given its observations and its domain knowledge. The advantage in combining domain knowledge and observations is that the robot can in this way project from the past into the future, and reason from observations to more general statements to help guide how it plans to act and interact. The difficulty lies in the fact that observations are typically uncertain and logical inference for completion against a knowledge base is computationally hard.


A Temporal Extension of the Hayes and ter Horst Entailment Rules for RDFS and OWL

Krieger, Hans-Ulrich (DFKI GmbH German Research Center For Artificial Intelligence)

AAAI Conferences

Temporal encoding schemes using RDF and OWL are often plagued by a massive proliferation of useless "container" objects. Reasoning and querying with such representations is extremely complex, expensive, and error-prone. We present a temporal extension of the Hayes and ter Horst entailment rules for RDFS/OWL. The extension is realized by extending RDF triples with further temporal arguments and requires only some lightweight forms of reasoning. The approach has been implemented in the forward chaining engine HFC.