Livia Predoiu

Learn More
Recently, there has been a lot of interest in the integration of Description Logics and rules on the Semantic Web. We define guarded hybrid knowledge bases (or g-hybrid knowledge bases) as knowledge bases that consist of a Description Logic knowledge base and a guarded logic program, similar to the DL+log knowledge bases from (Rosati 2006). G-hybrid(More)
We introduce the Web Service Modeling Language WSML which provides a formal syntax and semantics for the Web Service Modeling Ontology WSMO. WSML is based on different logical formalisms, namely, Description Logics, First−Order Logic and Logic Programming, which are useful for the modeling of Semantic Web services. WSML consists of a number of variants(More)
Previous work has proposed consistent query answering as a way to resolve inconsistencies in ontologies. In these approaches to consistent query answering, however, only inconsistencies due to errors in the underlying database are considered. In this paper, we additionally assume that ontological axioms may be erroneous, and that some database atoms and(More)
Creating mappings between ontologies is a common way of approaching the semantic heterogeneity problem on the Semantic Web. To fit into the landscape of Semantic Web languages, a suitable, logic-based representation formalism for mappings is needed. We argue that such a formalism has to be able to deal with uncertainty and inconsistencies in automatically(More)
Recently, there has been an increasing interest in formalisms for representing uncertain information on the Semantic Web. This interest is triggered by the observation that knowledge on the web is not always crisp and we have to be able to deal with incomplete, inconsistent and vague information. The treatment of this kind of information requires new(More)
We present a novel approach to probabilistic description logic programs for the Semantic Web in which disjunctive logic programs under the answer set semantics are tightly coupled with description logics and Bayesian probabilities. The approach has several nice features. In particular, it is a logic-based representation formalism that naturally fits into(More)
We propose a model to represent closeness between entities within Web communities and social networks/folksonomies conceptually and numerically, and a community dynamics notification algorithm. The proposed models add value to community environments supporting social networking, and are specifically applicable to the community-driven environments, where(More)
We present a framework for probabilistic Information Processing on the Semantic Web that is capable of representing ontologies, deductive databases, uncertain mappings between them, results of statistical instance classification and ontology learning. Our framework is built on a knowledge representation formalism called Bayesian Description Logic Programs(More)