Matches in SemOpenAlex for { <https://semopenalex.org/work/W264967705> ?p ?o ?g. }
- W264967705 abstract "Realizing the full potential of the semantic web requires the large-scale adoption and use of ontology based approaches to sharing of information and resources. In such a setting, instead of a single, centralized ontology, it is much more natural to have multiple distributed ontologies that cover different, perhaps partially overlapping, domains. Such ontologies represent the local knowledge of the ontology designers, that is, knowledge that is applicable within a specific context. Hence, many application scenarios, such as collaborative construction and management of complex ontologies, distributed databases, and large knowledge base applications, present an urgent need for ontology languages that support localized and contextualized semantics, partial and selective reuse of ontology modules, flexible ways to limit the scope and visibility of knowledge (as needed for selective knowledge sharing), federated approaches to reasoning with distributed ontologies, and structured approaches to collaborative construction of large ontologies. Against this background, this dissertation develops a family of description logics based modular ontology languages, namely Package-based Description Logics (P-DL), to address the needs of such applications. The main contributions of this dissertation include: (1) The identification and theoretical characterization of the desiderata of modular ontology languages that can support selective sharing and reuse of knowledge across independently developed knowledge bases; (2) The development of a family of ontology languages called P-DL, which extend the classical description logics (DL) to support selective knowledge sharing through a novel semantic importing mechanism and the establishment of a minimal set of restrictions on the use of imported concepts and roles to support localized semantics, transitive propagation of imported knowledge, and different interpretations from the point of view of different ontology modules; (3) The development of a family of sound and complete tableau-based federated reasoning algorithms for distributed, autonomous, P-DL ontologies including ALCP and SHIQP , i.e., P-DL onologies where the individual modules are expressed in the P-DL counterpart of DL ALC and SHIQ respectively, that can be used to efficiently reason over a set of distributed, autonomous, ontology modules from the point of view of any specific module, that avoid the need to integrate ontologies using message exchanges between modules as needed; (4) The formulation of criteria for answering queries against a knowledge base using hidden or private knowledge, whenever it is feasible to do so without compromising hidden knowledge, and the development of privacy-preserving reasoning strategies for the case of the commonly used hierarchical ontologies and SHIQ ontologies, along with a theoretical characterization of the conditions under which they are guaranteed to be privacy-preserving; (5) The development of some prototype tools for collaborative development of large ontologies, including support for concurrent editing and partial loading of ontologies into memory." @default.
- W264967705 created "2016-06-24" @default.
- W264967705 creator A5004737962 @default.
- W264967705 creator A5060363706 @default.
- W264967705 date "2018-08-13" @default.
- W264967705 modified "2023-09-30" @default.
- W264967705 title "Representing and reasoning with modular ontologies" @default.
- W264967705 cites W101519434 @default.
- W264967705 cites W108486284 @default.
- W264967705 cites W112686205 @default.
- W264967705 cites W114271288 @default.
- W264967705 cites W114818794 @default.
- W264967705 cites W11793264 @default.
- W264967705 cites W1212604327 @default.
- W264967705 cites W130640788 @default.
- W264967705 cites W138462474 @default.
- W264967705 cites W146545936 @default.
- W264967705 cites W1481999229 @default.
- W264967705 cites W1489485653 @default.
- W264967705 cites W1493568378 @default.
- W264967705 cites W1498713162 @default.
- W264967705 cites W1499269357 @default.
- W264967705 cites W1499651117 @default.
- W264967705 cites W1503153410 @default.
- W264967705 cites W1503634187 @default.
- W264967705 cites W1503647529 @default.
- W264967705 cites W1503713831 @default.
- W264967705 cites W1507471977 @default.
- W264967705 cites W1507921835 @default.
- W264967705 cites W1508088416 @default.
- W264967705 cites W1515720534 @default.
- W264967705 cites W1516068070 @default.
- W264967705 cites W1517165089 @default.
- W264967705 cites W1524471360 @default.
- W264967705 cites W1525403130 @default.
- W264967705 cites W1526526304 @default.
- W264967705 cites W1537126384 @default.
- W264967705 cites W1538118291 @default.
- W264967705 cites W1538467105 @default.
- W264967705 cites W1540508789 @default.
- W264967705 cites W1546306355 @default.
- W264967705 cites W154654756 @default.
- W264967705 cites W1546821488 @default.
- W264967705 cites W1549068613 @default.
- W264967705 cites W1549711853 @default.
- W264967705 cites W1550882658 @default.
- W264967705 cites W1551253182 @default.
- W264967705 cites W1555476679 @default.
- W264967705 cites W1555563750 @default.
- W264967705 cites W1555720472 @default.
- W264967705 cites W1560601079 @default.
- W264967705 cites W1561290827 @default.
- W264967705 cites W1561988463 @default.
- W264967705 cites W1564494788 @default.
- W264967705 cites W156676794 @default.
- W264967705 cites W1575249057 @default.
- W264967705 cites W1576726890 @default.
- W264967705 cites W1577738755 @default.
- W264967705 cites W1577783107 @default.
- W264967705 cites W1578690760 @default.
- W264967705 cites W1578780470 @default.
- W264967705 cites W1585071008 @default.
- W264967705 cites W158821024 @default.
- W264967705 cites W1589176876 @default.
- W264967705 cites W1591160597 @default.
- W264967705 cites W1591758264 @default.
- W264967705 cites W1593883345 @default.
- W264967705 cites W1599198931 @default.
- W264967705 cites W1640592531 @default.
- W264967705 cites W1640599491 @default.
- W264967705 cites W1655578144 @default.
- W264967705 cites W1670748022 @default.
- W264967705 cites W1677497782 @default.
- W264967705 cites W1678959094 @default.
- W264967705 cites W1699724838 @default.
- W264967705 cites W178112518 @default.
- W264967705 cites W1809072088 @default.
- W264967705 cites W181738955 @default.
- W264967705 cites W1828810364 @default.
- W264967705 cites W1830282577 @default.
- W264967705 cites W1848383448 @default.
- W264967705 cites W1851822022 @default.
- W264967705 cites W1856279567 @default.
- W264967705 cites W1866502235 @default.
- W264967705 cites W187485680 @default.
- W264967705 cites W190204705 @default.
- W264967705 cites W1905489744 @default.
- W264967705 cites W1915266398 @default.
- W264967705 cites W1938484623 @default.
- W264967705 cites W1953363106 @default.
- W264967705 cites W195714804 @default.
- W264967705 cites W1964664152 @default.
- W264967705 cites W1965105913 @default.
- W264967705 cites W1971508608 @default.
- W264967705 cites W1976390405 @default.
- W264967705 cites W1977691885 @default.
- W264967705 cites W1981237135 @default.
- W264967705 cites W1982015079 @default.
- W264967705 cites W1982030536 @default.
- W264967705 cites W1984160984 @default.