Matches in SemOpenAlex for { <https://semopenalex.org/work/W1605651526> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1605651526 abstract "Qualified cardinality restrictions are expressive language constructs which extend the basic description logic ALC with the ability of expressing numerical constraints about relationships. However, the well-known standard tableau algorithms perform weakly when dealing with cardinality restrictions. Therefore, an arithmetically informed approach seems to be inevitable when dealing with these cardinality restrictions. This thesis presents a hybrid tableau calculus for the description logic SHQ which extends ALC by qualified cardinality restrictions, role hierarchies, and transitive roles. The hybrid calculus is based on the so-called atomic decomposition technique and combines arithmetic and logical reasoning. The most prominent feature of this hybrid calculus is that it reduces reasoning about qualified number restrictions to integer linear programming. Therefore, according to the nature of arithmetic reasoning, this calculus is not affected by the size of numbers occurring in cardinality restrictions. Furthermore, we give evidence on how this method of hybrid reasoning can improve the performance of reasoning by organizing the search space more competently. An empirical evaluation of our hybrid reasoner for a set of synthesized benchmarks featuring qualified number restrictions clearly demonstrates its superior performance. In comparison to other standard description logic reasoners, our approach demonstrates an overall runtime improvement of several orders of magnitude." @default.
- W1605651526 created "2016-06-24" @default.
- W1605651526 creator A5074217296 @default.
- W1605651526 date "2008-01-01" @default.
- W1605651526 modified "2023-09-26" @default.
- W1605651526 title "Combining integer programming and tableau-based reasoning : a hybrid calculus for the description logic SHQ" @default.
- W1605651526 cites W124940209 @default.
- W1605651526 cites W1481056909 @default.
- W1605651526 cites W1482585805 @default.
- W1605651526 cites W1497036643 @default.
- W1605651526 cites W1525403130 @default.
- W1605651526 cites W1575501166 @default.
- W1605651526 cites W157772201 @default.
- W1605651526 cites W1585071008 @default.
- W1605651526 cites W1588876385 @default.
- W1605651526 cites W162120283 @default.
- W1605651526 cites W1637478387 @default.
- W1605651526 cites W1640599491 @default.
- W1605651526 cites W1809072088 @default.
- W1605651526 cites W1982030536 @default.
- W1605651526 cites W1995656639 @default.
- W1605651526 cites W2049677513 @default.
- W1605651526 cites W2122368812 @default.
- W1605651526 cites W2132353952 @default.
- W1605651526 cites W2145465694 @default.
- W1605651526 cites W2154026530 @default.
- W1605651526 cites W2154829072 @default.
- W1605651526 cites W2951205490 @default.
- W1605651526 cites W3004540582 @default.
- W1605651526 cites W44173405 @default.
- W1605651526 cites W49175793 @default.
- W1605651526 cites W92935989 @default.
- W1605651526 hasPublicationYear "2008" @default.
- W1605651526 type Work @default.
- W1605651526 sameAs 1605651526 @default.
- W1605651526 citedByCount "7" @default.
- W1605651526 countsByYear W16056515262012 @default.
- W1605651526 countsByYear W16056515262014 @default.
- W1605651526 crossrefType "dissertation" @default.
- W1605651526 hasAuthorship W1605651526A5074217296 @default.
- W1605651526 hasConcept C124101348 @default.
- W1605651526 hasConcept C177264268 @default.
- W1605651526 hasConcept C199360897 @default.
- W1605651526 hasConcept C33923547 @default.
- W1605651526 hasConcept C41008148 @default.
- W1605651526 hasConcept C80444323 @default.
- W1605651526 hasConcept C87117476 @default.
- W1605651526 hasConceptScore W1605651526C124101348 @default.
- W1605651526 hasConceptScore W1605651526C177264268 @default.
- W1605651526 hasConceptScore W1605651526C199360897 @default.
- W1605651526 hasConceptScore W1605651526C33923547 @default.
- W1605651526 hasConceptScore W1605651526C41008148 @default.
- W1605651526 hasConceptScore W1605651526C80444323 @default.
- W1605651526 hasConceptScore W1605651526C87117476 @default.
- W1605651526 hasLocation W16056515261 @default.
- W1605651526 hasOpenAccess W1605651526 @default.
- W1605651526 hasPrimaryLocation W16056515261 @default.
- W1605651526 hasRelatedWork W1484584685 @default.
- W1605651526 hasRelatedWork W1493568378 @default.
- W1605651526 hasRelatedWork W1543188503 @default.
- W1605651526 hasRelatedWork W1576608592 @default.
- W1605651526 hasRelatedWork W1585071008 @default.
- W1605651526 hasRelatedWork W1640599491 @default.
- W1605651526 hasRelatedWork W1678959094 @default.
- W1605651526 hasRelatedWork W2005277728 @default.
- W1605651526 hasRelatedWork W2100622236 @default.
- W1605651526 hasRelatedWork W2122368812 @default.
- W1605651526 hasRelatedWork W2154026530 @default.
- W1605651526 hasRelatedWork W21628717 @default.
- W1605651526 hasRelatedWork W2170319925 @default.
- W1605651526 hasRelatedWork W22612880 @default.
- W1605651526 hasRelatedWork W2285450090 @default.
- W1605651526 hasRelatedWork W2331781799 @default.
- W1605651526 hasRelatedWork W2515200 @default.
- W1605651526 hasRelatedWork W2725553666 @default.
- W1605651526 hasRelatedWork W2889187308 @default.
- W1605651526 hasRelatedWork W312152708 @default.
- W1605651526 isParatext "false" @default.
- W1605651526 isRetracted "false" @default.
- W1605651526 magId "1605651526" @default.
- W1605651526 workType "dissertation" @default.