Matches in SemOpenAlex for { <https://semopenalex.org/work/W4299659323> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W4299659323 abstract "Axiom pinpointing has been introduced in description logics (DLs) to help the used understand the reasons why consequences hold by computing minimal subsets of the knowledge base that have the consequence in consideration. Several pinpointing algorithms have been described as extensions of the standard tableau-based reasoning algorithms for deciding consequences from DL knowledge bases. Although these extensions are based on similar ideas, they are all introduced for a particular tableau-based algorithm for a particular DL, using specific traits of them. In the past, we have developed a general approach for extending tableau-based algorithms into pinpointing algorithms. In this paper we explore some issues of termination of general tableaux and their pinpointing extensions. We also define a subclass of tableaux that allows the use of so-called blocking conditions, which stop the execution of the algorithm once a pattern is found, and adapt the pinpointing extensions accordingly, guaranteeing its correctness and termination." @default.
- W4299659323 created "2022-10-02" @default.
- W4299659323 creator A5086254817 @default.
- W4299659323 creator A5087109002 @default.
- W4299659323 date "2008-01-01" @default.
- W4299659323 modified "2023-09-23" @default.
- W4299659323 title "Blocking and Pinpointing in Forest Tableaux" @default.
- W4299659323 doi "https://doi.org/10.25368/2022.165" @default.
- W4299659323 hasPublicationYear "2008" @default.
- W4299659323 type Work @default.
- W4299659323 citedByCount "2" @default.
- W4299659323 crossrefType "report" @default.
- W4299659323 hasAuthorship W4299659323A5086254817 @default.
- W4299659323 hasAuthorship W4299659323A5087109002 @default.
- W4299659323 hasBestOaLocation W42996593231 @default.
- W4299659323 hasConcept C11413529 @default.
- W4299659323 hasConcept C134306372 @default.
- W4299659323 hasConcept C144745244 @default.
- W4299659323 hasConcept C159654299 @default.
- W4299659323 hasConcept C167729594 @default.
- W4299659323 hasConcept C199360897 @default.
- W4299659323 hasConcept C203014093 @default.
- W4299659323 hasConcept C2524010 @default.
- W4299659323 hasConcept C2776194381 @default.
- W4299659323 hasConcept C2778029271 @default.
- W4299659323 hasConcept C31258907 @default.
- W4299659323 hasConcept C33923547 @default.
- W4299659323 hasConcept C41008148 @default.
- W4299659323 hasConcept C42058472 @default.
- W4299659323 hasConcept C55439883 @default.
- W4299659323 hasConcept C80444323 @default.
- W4299659323 hasConcept C86803240 @default.
- W4299659323 hasConceptScore W4299659323C11413529 @default.
- W4299659323 hasConceptScore W4299659323C134306372 @default.
- W4299659323 hasConceptScore W4299659323C144745244 @default.
- W4299659323 hasConceptScore W4299659323C159654299 @default.
- W4299659323 hasConceptScore W4299659323C167729594 @default.
- W4299659323 hasConceptScore W4299659323C199360897 @default.
- W4299659323 hasConceptScore W4299659323C203014093 @default.
- W4299659323 hasConceptScore W4299659323C2524010 @default.
- W4299659323 hasConceptScore W4299659323C2776194381 @default.
- W4299659323 hasConceptScore W4299659323C2778029271 @default.
- W4299659323 hasConceptScore W4299659323C31258907 @default.
- W4299659323 hasConceptScore W4299659323C33923547 @default.
- W4299659323 hasConceptScore W4299659323C41008148 @default.
- W4299659323 hasConceptScore W4299659323C42058472 @default.
- W4299659323 hasConceptScore W4299659323C55439883 @default.
- W4299659323 hasConceptScore W4299659323C80444323 @default.
- W4299659323 hasConceptScore W4299659323C86803240 @default.
- W4299659323 hasLocation W42996593231 @default.
- W4299659323 hasOpenAccess W4299659323 @default.
- W4299659323 hasPrimaryLocation W42996593231 @default.
- W4299659323 hasRelatedWork W1492644631 @default.
- W4299659323 hasRelatedWork W1499051562 @default.
- W4299659323 hasRelatedWork W1528874295 @default.
- W4299659323 hasRelatedWork W2110485810 @default.
- W4299659323 hasRelatedWork W2396000589 @default.
- W4299659323 hasRelatedWork W2904180944 @default.
- W4299659323 hasRelatedWork W2963131514 @default.
- W4299659323 hasRelatedWork W4297895940 @default.
- W4299659323 hasRelatedWork W4299659323 @default.
- W4299659323 hasRelatedWork W4315631955 @default.
- W4299659323 isParatext "false" @default.
- W4299659323 isRetracted "false" @default.
- W4299659323 workType "report" @default.