Matches in SemOpenAlex for { <https://semopenalex.org/work/W2788307127> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2788307127 endingPage "620" @default.
- W2788307127 startingPage "588" @default.
- W2788307127 abstract "Description Logics (DLs) under Rational Closure (RC) is a well-known framework for non-monotonic reasoning in DLs. In this paper, we address the concept subsumption decision problem under RC for nominal safe ELO⊥, a notable and practically important DL representative of the OWL 2 profile OWL 2 EL. Our contribution here is to define a polynomial time subsumption procedure for nominal safe ELO⊥ under RC that relies entirely on a series of classical, monotonic EL⊥ subsumption tests. Therefore, any existing classical monotonic EL⊥ reasoner can be used as a black box to implement our method. We then also adapt the method to one of the known extensions of RC for DLs, namely Defeasible Inheritance-based DLs without losing the computational tractability." @default.
- W2788307127 created "2018-03-06" @default.
- W2788307127 creator A5021966059 @default.
- W2788307127 creator A5024544603 @default.
- W2788307127 creator A5041349488 @default.
- W2788307127 date "2019-10-01" @default.
- W2788307127 modified "2023-09-27" @default.
- W2788307127 title "A polynomial Time Subsumption Algorithm for Nominal Safe<mml:math xmlns:mml=http://www.w3.org/1998/Math/MathML altimg=si4.gif overflow=scroll><mml:mrow><mml:mi mathvariant=bold-script>E</mml:mi><mml:mi mathvariant=bold-script>L</mml:mi><mml:msub><mml:mi mathvariant=bold-script>O</mml:mi><mml:mi>⊥</mml:mi></mml:msub></mml:mrow></mml:math>under Rational Closure" @default.
- W2788307127 cites W1947471199 @default.
- W2788307127 cites W1965181251 @default.
- W2788307127 cites W1973036111 @default.
- W2788307127 cites W1973899684 @default.
- W2788307127 cites W2032023525 @default.
- W2788307127 cites W2045427198 @default.
- W2788307127 cites W2059360847 @default.
- W2788307127 cites W2064593774 @default.
- W2788307127 cites W2080142817 @default.
- W2788307127 cites W2089627725 @default.
- W2788307127 cites W2116746190 @default.
- W2788307127 cites W2147860979 @default.
- W2788307127 cites W2167907160 @default.
- W2788307127 cites W2295766998 @default.
- W2788307127 cites W229642387 @default.
- W2788307127 cites W2794424710 @default.
- W2788307127 cites W2888896672 @default.
- W2788307127 cites W3101483322 @default.
- W2788307127 cites W3102065810 @default.
- W2788307127 cites W3105235590 @default.
- W2788307127 cites W55962619 @default.
- W2788307127 doi "https://doi.org/10.1016/j.ins.2018.09.037" @default.
- W2788307127 hasPublicationYear "2019" @default.
- W2788307127 type Work @default.
- W2788307127 sameAs 2788307127 @default.
- W2788307127 citedByCount "30" @default.
- W2788307127 countsByYear W27883071272017 @default.
- W2788307127 countsByYear W27883071272018 @default.
- W2788307127 countsByYear W27883071272019 @default.
- W2788307127 countsByYear W27883071272020 @default.
- W2788307127 countsByYear W27883071272021 @default.
- W2788307127 countsByYear W27883071272022 @default.
- W2788307127 countsByYear W27883071272023 @default.
- W2788307127 crossrefType "journal-article" @default.
- W2788307127 hasAuthorship W2788307127A5021966059 @default.
- W2788307127 hasAuthorship W2788307127A5024544603 @default.
- W2788307127 hasAuthorship W2788307127A5041349488 @default.
- W2788307127 hasBestOaLocation W27883071272 @default.
- W2788307127 hasConcept C102993220 @default.
- W2788307127 hasConcept C11413529 @default.
- W2788307127 hasConcept C118615104 @default.
- W2788307127 hasConcept C134306372 @default.
- W2788307127 hasConcept C154945302 @default.
- W2788307127 hasConcept C193856179 @default.
- W2788307127 hasConcept C199360897 @default.
- W2788307127 hasConcept C33923547 @default.
- W2788307127 hasConcept C41008148 @default.
- W2788307127 hasConcept C72169020 @default.
- W2788307127 hasConcept C9616225 @default.
- W2788307127 hasConceptScore W2788307127C102993220 @default.
- W2788307127 hasConceptScore W2788307127C11413529 @default.
- W2788307127 hasConceptScore W2788307127C118615104 @default.
- W2788307127 hasConceptScore W2788307127C134306372 @default.
- W2788307127 hasConceptScore W2788307127C154945302 @default.
- W2788307127 hasConceptScore W2788307127C193856179 @default.
- W2788307127 hasConceptScore W2788307127C199360897 @default.
- W2788307127 hasConceptScore W2788307127C33923547 @default.
- W2788307127 hasConceptScore W2788307127C41008148 @default.
- W2788307127 hasConceptScore W2788307127C72169020 @default.
- W2788307127 hasConceptScore W2788307127C9616225 @default.
- W2788307127 hasLocation W27883071271 @default.
- W2788307127 hasLocation W27883071272 @default.
- W2788307127 hasOpenAccess W2788307127 @default.
- W2788307127 hasPrimaryLocation W27883071271 @default.
- W2788307127 hasRelatedWork W131276444 @default.
- W2788307127 hasRelatedWork W1572440314 @default.
- W2788307127 hasRelatedWork W2013601303 @default.
- W2788307127 hasRelatedWork W2079623678 @default.
- W2788307127 hasRelatedWork W2080655283 @default.
- W2788307127 hasRelatedWork W2162611236 @default.
- W2788307127 hasRelatedWork W2381846203 @default.
- W2788307127 hasRelatedWork W2404660578 @default.
- W2788307127 hasRelatedWork W4236248670 @default.
- W2788307127 hasRelatedWork W74339535 @default.
- W2788307127 hasVolume "501" @default.
- W2788307127 isParatext "false" @default.
- W2788307127 isRetracted "false" @default.
- W2788307127 magId "2788307127" @default.
- W2788307127 workType "article" @default.
