FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2127527675> ?p ?o ?g. }

• W2127527675 abstract "Description logics (DLs) are knowledge representation languages that provide the theoretical underpinning for modern ontology languages such as OWL and serve as the basis for the development of ontology reasoners and tools. Most modern ontology reasoners are based on optimized tableau algorithms, which perform reasoning by trying to build counter-models. More recently, another kind of reasoning algorithms has been introduced that, instead of building counter-models, directly derive logical consequences of axioms in the ontology using inference rules. Such consequence-based algorithms were first introduced for the EL family of DLs, and later extended to more expressive Horn DLs. However, up until now, consequence-based algorithms could not handle non-Horn features such as disjunctions. We consider several complementary aspects of consequence-based reasoning in this thesis. Firstly, we describe the parallelized consequence-based reasoner ELK, which is currently the fastest reasoner for EL ontologies. Secondly, we demonstrate how consequence-based algorithms can be extended to handle disjunctions using inference rules reminiscent of ordered resolution. Finally, we combine our consequence-based framework with methods based on tree decompositions, and thus obtain what we believe are the first fixed-parameter tractability results for subsumption reasoning in DLs." @default.
• W2127527675 created "2016-06-24" @default.
• W2127527675 creator A5089485708 @default.
• W2127527675 date "2013-01-01" @default.
• W2127527675 modified "2023-09-26" @default.
• W2127527675 title "Consequence-Based Reasoning for Ontology Classification" @default.
• W2127527675 cites W136568393 @default.
• W2127527675 cites W142178240 @default.
• W2127527675 cites W144418952 @default.
• W2127527675 cites W148037119 @default.
• W2127527675 cites W1482134990 @default.
• W2127527675 cites W1492384575 @default.
• W2127527675 cites W1494643504 @default.
• W2127527675 cites W1501340360 @default.
• W2127527675 cites W1509716515 @default.
• W2127527675 cites W1509731421 @default.
• W2127527675 cites W1513576223 @default.
• W2127527675 cites W1514379438 @default.
• W2127527675 cites W1516351239 @default.
• W2127527675 cites W1521419290 @default.
• W2127527675 cites W1528986923 @default.
• W2127527675 cites W1529207010 @default.
• W2127527675 cites W1535758363 @default.
• W2127527675 cites W1536607724 @default.
• W2127527675 cites W1537167203 @default.
• W2127527675 cites W1540040626 @default.
• W2127527675 cites W1551505855 @default.
• W2127527675 cites W1554599886 @default.
• W2127527675 cites W1555563750 @default.
• W2127527675 cites W1558832481 @default.
• W2127527675 cites W1563588242 @default.
• W2127527675 cites W1577132533 @default.
• W2127527675 cites W1579458556 @default.
• W2127527675 cites W1580256897 @default.
• W2127527675 cites W1590233219 @default.
• W2127527675 cites W1592358516 @default.
• W2127527675 cites W1606616363 @default.
• W2127527675 cites W1640599491 @default.
• W2127527675 cites W1670748022 @default.
• W2127527675 cites W1678959094 @default.
• W2127527675 cites W178543043 @default.
• W2127527675 cites W1790807402 @default.
• W2127527675 cites W1832368449 @default.
• W2127527675 cites W1837221482 @default.
• W2127527675 cites W185331417 @default.
• W2127527675 cites W1856065900 @default.
• W2127527675 cites W1867463642 @default.
• W2127527675 cites W190956113 @default.
• W2127527675 cites W1964050638 @default.
• W2127527675 cites W1971508608 @default.
• W2127527675 cites W1974500713 @default.
• W2127527675 cites W1982030536 @default.
• W2127527675 cites W1983077505 @default.
• W2127527675 cites W1990159861 @default.
• W2127527675 cites W1991981864 @default.
• W2127527675 cites W1996497762 @default.
• W2127527675 cites W2002722727 @default.
• W2127527675 cites W2011184850 @default.
• W2127527675 cites W201976190 @default.
• W2127527675 cites W2026293785 @default.
• W2127527675 cites W2047377242 @default.
• W2127527675 cites W2049677513 @default.
• W2127527675 cites W2059372025 @default.
• W2127527675 cites W2074639050 @default.
• W2127527675 cites W2077974960 @default.
• W2127527675 cites W2081619597 @default.
• W2127527675 cites W2081795817 @default.
• W2127527675 cites W2082313938 @default.
• W2127527675 cites W2096176691 @default.
• W2127527675 cites W2097765725 @default.
• W2127527675 cites W2099052309 @default.
• W2127527675 cites W2106350001 @default.
• W2127527675 cites W2106356140 @default.
• W2127527675 cites W2110233415 @default.
• W2127527675 cites W2113142309 @default.
• W2127527675 cites W2116502002 @default.
• W2127527675 cites W2118801479 @default.
• W2127527675 cites W2118992936 @default.
• W2127527675 cites W2121723702 @default.
• W2127527675 cites W2124758832 @default.
• W2127527675 cites W2127140110 @default.
• W2127527675 cites W2134009291 @default.
• W2127527675 cites W2137862151 @default.
• W2127527675 cites W2139315672 @default.
• W2127527675 cites W2140857649 @default.
• W2127527675 cites W2141970373 @default.
• W2127527675 cites W2145465694 @default.
• W2127527675 cites W2147032551 @default.
• W2127527675 cites W2147729309 @default.
• W2127527675 cites W2148411152 @default.
• W2127527675 cites W2150617113 @default.
• W2127527675 cites W2151320434 @default.
• W2127527675 cites W2154687603 @default.
• W2127527675 cites W2154829072 @default.
• W2127527675 cites W2156774188 @default.
• W2127527675 cites W2160845726 @default.
• W2127527675 cites W2168169810 @default.
• W2127527675 cites W2188716465 @default.
• W2127527675 cites W2206612216 @default.
• W2127527675 cites W2207776881 @default.

• next