Matches in SemOpenAlex for { <https://semopenalex.org/work/W2040241347> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2040241347 endingPage "355" @default.
- W2040241347 startingPage "334" @default.
- W2040241347 abstract "Semantic web applications based on the web ontology language (OWL) often require the use of numbers in class descriptions for expressing cardinality restrictions on properties or even classes. Some of these cardinalities are specified explicitly but quite a few are entailed and need to be discovered by reasoning procedures. Due to the description logic (DL) foundation of OWL those reasoning services are offered by DL reasoners which employ reasoning procedures that are arithmetically uninformed and substitute arithmetic reasoning by “don't know” non-determinism in order to cover all possible cases. This lack of information about arithmetic problems dramatically degrades the performance of DL reasoners in many cases, especially with ontologies relying on the use of nominals ( O ) and qualified cardinality restrictions ( Q ). In this article we present a new algebraic tableau reasoning procedure for the DL SHOQ that combines tableau procedures and algebraic methods, namely linear integer programming, to ensure arithmetically better informed reasoning procedures. SHOQ extends the standard DL ALC (which is equivalent to the multi-modal logic K m ) with transitive roles, role hierarchies, qualified cardinality restrictions, and nominals, and forms an expressive subset of the web ontology language OWL 2. Although the proposed algebraic tableau (in analogy to standard tableau) is still double exponential in the worst case, it deals with cardinalities in a very informed way due to its arithmetic component and can be considered as a novel foundation for informed reasoning procedures addressing cardinality restrictions." @default.
- W2040241347 created "2016-06-24" @default.
- W2040241347 creator A5071571704 @default.
- W2040241347 creator A5071701063 @default.
- W2040241347 date "2010-12-01" @default.
- W2040241347 modified "2023-10-14" @default.
- W2040241347 title "Algebraic tableau reasoning for the description logic <mml:math xmlns:mml=http://www.w3.org/1998/Math/MathML altimg=si1.gif overflow=scroll><mml:mi mathvariant=script>SHOQ</mml:mi></mml:math>" @default.
- W2040241347 cites W1538613579 @default.
- W2040241347 cites W1601383106 @default.
- W2040241347 cites W1923876550 @default.
- W2040241347 cites W1978912716 @default.
- W2040241347 cites W1995656639 @default.
- W2040241347 cites W2036162877 @default.
- W2040241347 cites W2079544076 @default.
- W2040241347 cites W2154026530 @default.
- W2040241347 cites W2337512840 @default.
- W2040241347 cites W3099593821 @default.
- W2040241347 doi "https://doi.org/10.1016/j.jal.2010.08.009" @default.
- W2040241347 hasPublicationYear "2010" @default.
- W2040241347 type Work @default.
- W2040241347 sameAs 2040241347 @default.
- W2040241347 citedByCount "16" @default.
- W2040241347 countsByYear W20402413472012 @default.
- W2040241347 countsByYear W20402413472013 @default.
- W2040241347 countsByYear W20402413472014 @default.
- W2040241347 countsByYear W20402413472015 @default.
- W2040241347 countsByYear W20402413472016 @default.
- W2040241347 countsByYear W20402413472017 @default.
- W2040241347 crossrefType "journal-article" @default.
- W2040241347 hasAuthorship W2040241347A5071571704 @default.
- W2040241347 hasAuthorship W2040241347A5071701063 @default.
- W2040241347 hasBestOaLocation W20402413471 @default.
- W2040241347 hasConcept C11413529 @default.
- W2040241347 hasConcept C134306372 @default.
- W2040241347 hasConcept C136119220 @default.
- W2040241347 hasConcept C154945302 @default.
- W2040241347 hasConcept C199343813 @default.
- W2040241347 hasConcept C202444582 @default.
- W2040241347 hasConcept C2777686260 @default.
- W2040241347 hasConcept C33923547 @default.
- W2040241347 hasConcept C41008148 @default.
- W2040241347 hasConcept C71924100 @default.
- W2040241347 hasConcept C9376300 @default.
- W2040241347 hasConceptScore W2040241347C11413529 @default.
- W2040241347 hasConceptScore W2040241347C134306372 @default.
- W2040241347 hasConceptScore W2040241347C136119220 @default.
- W2040241347 hasConceptScore W2040241347C154945302 @default.
- W2040241347 hasConceptScore W2040241347C199343813 @default.
- W2040241347 hasConceptScore W2040241347C202444582 @default.
- W2040241347 hasConceptScore W2040241347C2777686260 @default.
- W2040241347 hasConceptScore W2040241347C33923547 @default.
- W2040241347 hasConceptScore W2040241347C41008148 @default.
- W2040241347 hasConceptScore W2040241347C71924100 @default.
- W2040241347 hasConceptScore W2040241347C9376300 @default.
- W2040241347 hasIssue "4" @default.
- W2040241347 hasLocation W20402413471 @default.
- W2040241347 hasLocation W20402413472 @default.
- W2040241347 hasOpenAccess W2040241347 @default.
- W2040241347 hasPrimaryLocation W20402413471 @default.
- W2040241347 hasRelatedWork W2019790099 @default.
- W2040241347 hasRelatedWork W2332829026 @default.
- W2040241347 hasRelatedWork W2351491280 @default.
- W2040241347 hasRelatedWork W2371447506 @default.
- W2040241347 hasRelatedWork W2386767533 @default.
- W2040241347 hasRelatedWork W2885964212 @default.
- W2040241347 hasRelatedWork W2892231951 @default.
- W2040241347 hasRelatedWork W303980170 @default.
- W2040241347 hasRelatedWork W3107474891 @default.
- W2040241347 hasRelatedWork W3176049953 @default.
- W2040241347 hasVolume "8" @default.
- W2040241347 isParatext "false" @default.
- W2040241347 isRetracted "false" @default.
- W2040241347 magId "2040241347" @default.
- W2040241347 workType "article" @default.
