Combining Description Logics, Description Graphs, and Rules
نویسنده
چکیده
Make information on the Web machine-processable Develop a vocabulary of a domain—an ontology Annotate information by ontology terms BENEFITS Implicit meaning in the data is made explicit Formal semantics of the ontology language can be used to explicate implicit information
منابع مشابه
Extending the SHOIQ(D) Tableaux with DL-safe Rules: First Results
On the Semantic Web, there has been increasing demand for a ruleslike expressivity that goes beyond OWL-DL. Efforts of combining rules languages and description logics usually produce undecidable formalisms, unless constrained in a specific way. We look at one of the most expressive but decidable such formalisms proposed: DL-safe rules, and present a tableaux-based algorithm for query answering...
متن کاملCombining description logics and Horn rules with uncertainty in ARTIGENCE
We present ARTIGENCE, a representation language that combines description logics and Horn rules with uncertainty. ARTIGENCE capabilities go beyond the similar hybrid systems presently available, and it contains three components: a highly expressive description logic ACLNR, a set of probabilistic Horn rules and a set of ground facts. The new features described, often required in realistic applic...
متن کاملThe Representation of Structured Objects in DLs using Description Graphs
Applications of description logics (DLs) often require the representation of and reasoning with structured objects—that is, objects composed of parts connected in complex ways. Although DLs are general and powerful languages, they cannot describe arbitrarily connected structures. The description of structured objects in DLs can thus be underconstrained, which reduces the number of entailments a...
متن کاملRules and Queries with Ontologies: a Unifying Logical Framework
In this paper we present a common framework for investigating the problem of combining ontology and rule languages. The focus of this paper is in the context of Semantic Web (SW), but the approach can be applied in any Description Logics (DL) based system. In the last part, we will show how rules are strictly related to queries.
متن کاملCombining Existential Rules and Description Logics
Query answering under existential rules — implications with existential quantifiers in the head — is known to be decidable when imposing restrictions on the rule bodies such as frontier-guardedness [Baget et al., 2010; 2011a]. Query answering is also decidable for description logics [Baader, 2003], which further allow disjunction and functionality constraints (assert that certain relations are ...
متن کامل