FRINK Linked Data Fragments server

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

• W2296391467 abstract "Description logics are a family of logics that provide formalisms for representing and reasoning about knowledge, based on describing concepts, in a structured and formally well-understood way. They provide the logical foundation for the web ontology language (OWL), which increased awareness of them recently. The most popular techniques for decision procedures for description logics are tableau reasoning methods, which have a long tradition and are well established in automated reasoning.This thesis investigates the possibility of finding a general and optimised blocking mechanism for description logics with the finite model property. It suggests that, while the high branching factor for unrestricted blocking reduces its performance, suitable control of the application of the blocking rule can make the performance acceptable while preserving termination. This claim is supported by experiments that compare the performance of two sample controlled versions of unrestricted blocking. In order to show the generality and power of controlled versions of unrestricted blocking, it is shown how some of the mainstream and most successful standard blocking mechanisms can be approximated as restricted forms of unrestricted blocking. These approximations have the advantage of always being sound compared to their standard versions, which are known to be sound only for some logics.Here, a variation of unrestricted blocking which can ensure strong termination is also introduced. This is done through introducing a new rule that uses the inequality expressions introduced by the blocking rule. The weak termination property of unrestricted blocking is one of its weak points which by this variant of blocking can be addressed.The work presented in this thesis should be of value to people who are working on generalising different aspects of reasoning methods. As blocking plays a critical role in termination of tableau provers, exploration of different variations of unrestricted blocking introduced here may be also of interest for the artificial intelligence researcher." @default.
• W2296391467 created "2016-06-24" @default.
• W2296391467 creator A5036408214 @default.
• W2296391467 date "2015-10-22" @default.
• W2296391467 modified "2023-09-23" @default.
• W2296391467 title "Exploration of variations of unrestricted blocking for description logics" @default.
• W2296391467 cites W1483339275 @default.
• W2296391467 cites W1483851856 @default.
• W2296391467 cites W1489239494 @default.
• W2296391467 cites W1498270679 @default.
• W2296391467 cites W1508641834 @default.
• W2296391467 cites W1511652686 @default.
• W2296391467 cites W1512766599 @default.
• W2296391467 cites W1536088796 @default.
• W2296391467 cites W1554304715 @default.
• W2296391467 cites W1559438333 @default.
• W2296391467 cites W1573154295 @default.
• W2296391467 cites W1575501166 @default.
• W2296391467 cites W1576898581 @default.
• W2296391467 cites W1585071008 @default.
• W2296391467 cites W1588876385 @default.
• W2296391467 cites W1597361319 @default.
• W2296391467 cites W1601038846 @default.
• W2296391467 cites W1670748022 @default.
• W2296391467 cites W1678959094 @default.
• W2296391467 cites W1782556680 @default.
• W2296391467 cites W1964664152 @default.
• W2296391467 cites W1979654686 @default.
• W2296391467 cites W1982030536 @default.
• W2296391467 cites W1990890881 @default.
• W2296391467 cites W2013409229 @default.
• W2296391467 cites W2027044995 @default.
• W2296391467 cites W2033225733 @default.
• W2296391467 cites W2050718085 @default.
• W2296391467 cites W2058517091 @default.
• W2296391467 cites W2067803913 @default.
• W2296391467 cites W2069709605 @default.
• W2296391467 cites W2086035610 @default.
• W2296391467 cites W2092334937 @default.
• W2296391467 cites W2092576830 @default.
• W2296391467 cites W2096138715 @default.
• W2296391467 cites W2107171883 @default.
• W2296391467 cites W2114356493 @default.
• W2296391467 cites W2119862664 @default.
• W2296391467 cites W2122368812 @default.
• W2296391467 cites W2136950039 @default.
• W2296391467 cites W2155557313 @default.
• W2296391467 cites W2159525276 @default.
• W2296391467 cites W2173903337 @default.
• W2296391467 cites W2320911652 @default.
• W2296391467 cites W2395246037 @default.
• W2296391467 cites W28938819 @default.
• W2296391467 cites W66176321 @default.
• W2296391467 cites W1635994358 @default.
• W2296391467 cites W2788141848 @default.
• W2296391467 hasPublicationYear "2015" @default.
• W2296391467 type Work @default.
• W2296391467 sameAs 2296391467 @default.
• W2296391467 citedByCount "0" @default.
• W2296391467 crossrefType "dissertation" @default.
• W2296391467 hasAuthorship W2296391467A5036408214 @default.
• W2296391467 hasConcept C111472728 @default.
• W2296391467 hasConcept C138885662 @default.
• W2296391467 hasConcept C144745244 @default.
• W2296391467 hasConcept C15744967 @default.
• W2296391467 hasConcept C171018156 @default.
• W2296391467 hasConcept C189950617 @default.
• W2296391467 hasConcept C2524010 @default.
• W2296391467 hasConcept C2780767217 @default.
• W2296391467 hasConcept C31258907 @default.
• W2296391467 hasConcept C33923547 @default.
• W2296391467 hasConcept C41008148 @default.
• W2296391467 hasConcept C542102704 @default.
• W2296391467 hasConcept C80444323 @default.
• W2296391467 hasConceptScore W2296391467C111472728 @default.
• W2296391467 hasConceptScore W2296391467C138885662 @default.
• W2296391467 hasConceptScore W2296391467C144745244 @default.
• W2296391467 hasConceptScore W2296391467C15744967 @default.
• W2296391467 hasConceptScore W2296391467C171018156 @default.
• W2296391467 hasConceptScore W2296391467C189950617 @default.
• W2296391467 hasConceptScore W2296391467C2524010 @default.
• W2296391467 hasConceptScore W2296391467C2780767217 @default.
• W2296391467 hasConceptScore W2296391467C31258907 @default.
• W2296391467 hasConceptScore W2296391467C33923547 @default.
• W2296391467 hasConceptScore W2296391467C41008148 @default.
• W2296391467 hasConceptScore W2296391467C542102704 @default.
• W2296391467 hasConceptScore W2296391467C80444323 @default.
• W2296391467 hasLocation W22963914671 @default.
• W2296391467 hasOpenAccess W2296391467 @default.
• W2296391467 hasPrimaryLocation W22963914671 @default.
• W2296391467 hasRelatedWork W1497036643 @default.
• W2296391467 hasRelatedWork W1530757677 @default.
• W2296391467 hasRelatedWork W1761910806 @default.
• W2296391467 hasRelatedWork W2087851652 @default.
• W2296391467 hasRelatedWork W2099613024 @default.
• W2296391467 hasRelatedWork W2132353952 @default.
• W2296391467 hasRelatedWork W2135086513 @default.
• W2296391467 hasRelatedWork W2406874399 @default.
• W2296391467 hasRelatedWork W2808842104 @default.
• W2296391467 hasRelatedWork W2886154909 @default.

• next