From description-logic programs to multi-context systems
نویسندگان
چکیده
منابع مشابه
From Logic Programs to Iterated Function Systems
This thesis presents an approach which links logic programs and iterated function systems. The work was motivated by the discovery of self-similar structures during investigations of the TP-operator. This operator, associated with any program P , was previously embedded into the real numbers. Therefore, it could be plotted as a graph in R. It is shown that for a large class of logic programs th...
متن کاملRough Description Logic Programs
The Semantic Web is an extension of the current World Wide Web, and aims to help computers to understand and process web information automatically. In recent years, the integration ontologies and rules has become a central topic in the Semantic Web. Therefore, many researchers have focused their study on investigating the combination of answer set programming with description logics for the sem...
متن کاملFuzzy Description Logic Programs
Description Logic Programs (DLPs), which combine the expressive power of classical description logics and logic programs, are emerging as an important ontology description language paradigm. In this study, we present fuzzy DLPs, which extend DLPs by allowing the representation of vague/imprecise information.
متن کاملProbabilistic Description Logic Programs
Towards sophisticated representation and reasoning techniques that allow for probabilistic uncertainty in the Rules, Logic, and Proof layers of the Semantic Web, we present probabilistic description logic programs (or pdl-programs), which are a combination of description logic programs (or dl-programs) under the answer set semantics and the well-founded semantics with Poole’s independent choice...
متن کاملFrom Logic Programs Updates to Action Description Updates
An important branch of investigation in the field of agents has been the definition of high level languages for representing effects of actions, the programs written in such languages being usually called action programs. Logic programming is an important area in the field of knowledge representation and some languages for specifying updates of Logic Programs had been defined. Starting from the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logical and Algebraic Methods in Programming
سال: 2017
ISSN: 2352-2208
DOI: 10.1016/j.jlamp.2017.01.005