منابع مشابه
Learning DLP from Uncertain Data
Description Logic Programs (DLP) is an expressive but tractable subset of OWL. In this paper, we study a rising but under-researched problem of learning DLP from uncertain data. Current research rarely explores the plentiful uncertain data populating the Semantic Web. We handle uncertain data in Inductive Logic Programming (ILP) framework by modifying the performance evaluation criteria. We ado...
متن کاملDlp
DLP (for Description Logic Prover) is a description logic system that contains a sound and complete rea-soner for an expressive description logic. DLP is an experimental system, in that it does not contain all the support facilities that one might like in a full description logic system. However, DLP does have an interface that allows the creation and examination of taxonomies of concepts. DLP ...
متن کاملThe Largest DLP Possible
Description Logic Programs (DLP) have been described as a description logic (DL) that is in the “expressive intersection” of DL and datalog. This is a very weak guideline for defining DLP in a way that can be claimed to be optimal or maximal in any sense. Moreover, other DL fragments such as EL and Horn-SHIQ have also been “expressed” using datalog. So is DLP just one out of many equal DLs in t...
متن کاملA Reduction from DLP to PDL
We present a reduction from a new logic extending van der Meyden’s dynamic logic of permission (DLP) into propositional dynamic logic (PDL), providing a 2EXPTIME decision procedure and showing that all the machinery for PDL can be reused for reasoning about dynamic policies. As a sideeffect, we establish that DLP is EXPTIME-complete. The logic we introduce extends the logic DLP so that the poli...
متن کاملPlaying from the inside: Holistic villages as a paradigm
In 1958, Corbu advocated a ‘new architecture’ for a ‘new man’. The omnipresence of the architect creating spaces to model a society led to architects building many sins. After that the influence of architecture in the lives of its inhabitants began to be a subject ignored. A lot of contemporary architecture limited itself to the production of design or service to capital of the day. In 1...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: College & Research Libraries News
سال: 1972
ISSN: 2150-6698,0099-0086
DOI: 10.5860/crln.33.4.87