FRINK Linked Data Fragments server

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

• W2055253305 endingPage "31" @default.
• W2055253305 startingPage "21" @default.
• W2055253305 abstract "Constructive modal logics come in several different flavours and constructive description logics, not surprisingly, do the same. We introduce an intuitionistic description logic, which we call iALC (for intuitionistic ALC, since ALC is the name of the canonical description logic system) and provide axioms, a Natural Deduction formulation and a sequent calculus for it. The system iALC is related to Simpsonʼs constructive modal logic IK the same way Mendler and Scheeleʼs cALC is related to constructive CK and in the same way classical multimodal K is related to ALC. In the system iALC, as well as in cALC, the classical principles of the excluded middle C⊔¬C=T, double negation ¬¬C=C and the definitions of the modalities ∃R.C=¬∀R.¬C and ∀R.C=¬∃R.¬C are no longer validities, but simply non-trivial TBox statements used to axiomatize specific application scenarios. Meanwhile in iALC, like in classical ALC, we have that the distribution of existential roles over disjunction i.e. ∃R.(C⊔D)=∃R.C⊔∃R.D and (the nullary case) ∃R.⊥=⊥ hold, which is not true for cALC. We intend to use iALC for modelling juridical Artificial Intelligence (AI) systems and we describe briefly how." @default.
• W2055253305 created "2016-06-24" @default.
• W2055253305 creator A5033562494 @default.
• W2055253305 creator A5052195291 @default.
• W2055253305 creator A5091129860 @default.
• W2055253305 date "2011-07-01" @default.
• W2055253305 modified "2023-10-01" @default.
• W2055253305 title "Constructive Description Logics Hybrid-Style" @default.
• W2055253305 cites W1484639702 @default.
• W2055253305 cites W1492239354 @default.
• W2055253305 cites W1509731421 @default.
• W2055253305 cites W1531366464 @default.
• W2055253305 cites W1537848071 @default.
• W2055253305 cites W1555563750 @default.
• W2055253305 cites W1565174900 @default.
• W2055253305 cites W1995718667 @default.
• W2055253305 cites W2029185689 @default.
• W2055253305 cites W2035902442 @default.
• W2055253305 cites W2085690665 @default.
• W2055253305 cites W2089265642 @default.
• W2055253305 cites W2143326093 @default.
• W2055253305 cites W2420374 @default.
• W2055253305 cites W2795915211 @default.
• W2055253305 cites W3180145931 @default.
• W2055253305 cites W80737574 @default.
• W2055253305 doi "https://doi.org/10.1016/j.entcs.2011.06.010" @default.
• W2055253305 hasPublicationYear "2011" @default.
• W2055253305 type Work @default.
• W2055253305 sameAs 2055253305 @default.
• W2055253305 citedByCount "5" @default.
• W2055253305 countsByYear W20552533052014 @default.
• W2055253305 countsByYear W20552533052015 @default.
• W2055253305 countsByYear W20552533052021 @default.
• W2055253305 countsByYear W20552533052023 @default.
• W2055253305 crossrefType "journal-article" @default.
• W2055253305 hasAuthorship W2055253305A5033562494 @default.
• W2055253305 hasAuthorship W2055253305A5052195291 @default.
• W2055253305 hasAuthorship W2055253305A5091129860 @default.
• W2055253305 hasBestOaLocation W20552533051 @default.
• W2055253305 hasConcept C102993220 @default.
• W2055253305 hasConcept C108710211 @default.
• W2055253305 hasConcept C111472728 @default.
• W2055253305 hasConcept C118615104 @default.
• W2055253305 hasConcept C134752490 @default.
• W2055253305 hasConcept C136119220 @default.
• W2055253305 hasConcept C137155000 @default.
• W2055253305 hasConcept C138885662 @default.
• W2055253305 hasConcept C154945302 @default.
• W2055253305 hasConcept C167729594 @default.
• W2055253305 hasConcept C178421362 @default.
• W2055253305 hasConcept C185592680 @default.
• W2055253305 hasConcept C188027245 @default.
• W2055253305 hasConcept C199343813 @default.
• W2055253305 hasConcept C199360897 @default.
• W2055253305 hasConcept C202444582 @default.
• W2055253305 hasConcept C203659156 @default.
• W2055253305 hasConcept C2185349 @default.
• W2055253305 hasConcept C2524010 @default.
• W2055253305 hasConcept C27508121 @default.
• W2055253305 hasConcept C2777686260 @default.
• W2055253305 hasConcept C2778701210 @default.
• W2055253305 hasConcept C28077239 @default.
• W2055253305 hasConcept C32241873 @default.
• W2055253305 hasConcept C33923547 @default.
• W2055253305 hasConcept C41008148 @default.
• W2055253305 hasConcept C62073222 @default.
• W2055253305 hasConcept C65880906 @default.
• W2055253305 hasConcept C71139939 @default.
• W2055253305 hasConcept C71924100 @default.
• W2055253305 hasConcept C78344899 @default.
• W2055253305 hasConcept C89421646 @default.
• W2055253305 hasConcept C98045186 @default.
• W2055253305 hasConceptScore W2055253305C102993220 @default.
• W2055253305 hasConceptScore W2055253305C108710211 @default.
• W2055253305 hasConceptScore W2055253305C111472728 @default.
• W2055253305 hasConceptScore W2055253305C118615104 @default.
• W2055253305 hasConceptScore W2055253305C134752490 @default.
• W2055253305 hasConceptScore W2055253305C136119220 @default.
• W2055253305 hasConceptScore W2055253305C137155000 @default.
• W2055253305 hasConceptScore W2055253305C138885662 @default.
• W2055253305 hasConceptScore W2055253305C154945302 @default.
• W2055253305 hasConceptScore W2055253305C167729594 @default.
• W2055253305 hasConceptScore W2055253305C178421362 @default.
• W2055253305 hasConceptScore W2055253305C185592680 @default.
• W2055253305 hasConceptScore W2055253305C188027245 @default.
• W2055253305 hasConceptScore W2055253305C199343813 @default.
• W2055253305 hasConceptScore W2055253305C199360897 @default.
• W2055253305 hasConceptScore W2055253305C202444582 @default.
• W2055253305 hasConceptScore W2055253305C203659156 @default.
• W2055253305 hasConceptScore W2055253305C2185349 @default.
• W2055253305 hasConceptScore W2055253305C2524010 @default.
• W2055253305 hasConceptScore W2055253305C27508121 @default.
• W2055253305 hasConceptScore W2055253305C2777686260 @default.
• W2055253305 hasConceptScore W2055253305C2778701210 @default.
• W2055253305 hasConceptScore W2055253305C28077239 @default.
• W2055253305 hasConceptScore W2055253305C32241873 @default.
• W2055253305 hasConceptScore W2055253305C33923547 @default.
• W2055253305 hasConceptScore W2055253305C41008148 @default.

• next