منابع مشابه
Axiom Pinpointing is Hard
We investigate the complexity of several decision, enumeration and counting problems in axiom pinpointing in Description Logics. We prove hardness results that already hold for the propositional Horn fragment. We show that for this fragment, unless p = np, all minimal subsets of a given TBox that have a given consequence, i.e. MinAs, cannot be enumerated in a specified lexicographic order with ...
متن کاملPinpointing Influence in Pinterest
The success of most applications that run on top of a social network infrastructure is due to the social ties among their users; the users can get informed about the activity of their friends and acquaintances, and, hence, new ideas, habits, and products have the opportunity to gain popularity. Therefore, understanding the influence dynamics on social networks provides us with insights that are...
متن کاملPinpointing System Performance Issues
The explosive growth of the Internet in recent years has created a heretofore unprecedented demand for system performance. In many cases, system administrators have been left scrambling, trying to understand the performance issues raised by the loads and new technologies they are facing. This paper suggests methods for analyzing system performance potential, prioritizing the search for bottlene...
متن کاملPinpointing and preventing imminent extinctions.
Slowing rates of global biodiversity loss requires preventing species extinctions. Here we pinpoint centers of imminent extinction, where highly threatened species are confined to single sites. Within five globally assessed taxa (i.e., mammals, birds, selected reptiles, amphibians, and conifers), we find 794 such species, three times the number recorded as having gone extinct since 1500. These ...
متن کاملAutomata-based Pinpointing for DLs
Recent years have seen a boom in the creation and development of ontologies. Unfortunately, the maintenance of such ontologies is an error-prone process. On one side, it is in general unrealistic to expect a developer to be simultaneously a domainand an ontology-expert. This leads to problems when a part of the domain is not correctly understood, or when, although correctly understood, is trans...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature Reviews Neuroscience
سال: 2014
ISSN: 1471-003X,1471-0048
DOI: 10.1038/nrn3795