Paulo Cesar G. da Costa

Learn More
The past few years have witnessed an increasingly mature body of research on the Semantic Web, with new standards being developed and more complex use cases being proposed and explored. As complexity increases in SW applications, so does the need for principled means to cope with uncertainty inherent to real world SW applications. Not surprisingly, several(More)
– To cope with asymmetric threats in an increasingly network centric environment, today's command support systems must interoperate with a diverse collection of other systems. As a natural consequence, the focus is changing from data fusion to knowledge fusion. This new reality creates the need for advanced techniques that exploit not only the syntactic(More)
—Situational awareness and prediction are essential elements of information fusion. Both involve various types of uncertainty and require a sound automated inferential process. Probabilistic ontologies support uncertainty management in semantically aware systems, and facilitate modular, interoperable systems. This paper describes the process of developing a(More)
The Semantic Web envisions effortless cooperation between humans and computers, seamless interoperability and information exchange among web applications, and rapid and accurate identification and invocation of appropriate Web services. At the current stage of evolution in Semantic Web research, there is a growing understanding that a major step towards(More)
This paper addresses a major weakness of current technologies for the Semantic Web, namely the lack of a principled means to represent and reason about uncertainty. This not only hinders the realization of the original vision for the Semantic Web, but also creates a barrier to the development of new, powerful features for general knowledge applications that(More)
Intelligent systems in an open world must reason about many interacting entities related to each other in diverse ways and having uncertain features and relationships. Traditional probabilistic languages lack the expressive power to handle relational domains. Classical first-order logic is sufficiently expressive, but lacks a coherent plausible reasoning(More)