FRINK Linked Data Fragments server

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

• W77205158 endingPage "24" @default.
• W77205158 startingPage "9" @default.
• W77205158 abstract "Fuzzy description logics can be used to model vague knowledge in application domains. This paper analyses the consistency and satisfiability problems in the description logic ${mathcal{SHI}}$ with semantics based on a complete residuated De Morgan lattice. The problems are undecidable in the general case, but can be decided by a tableau algorithm when restricted to finite lattices. For some sublogics of ${mathcal{SHI}}$ , we provide upper complexity bounds that match the complexity of crisp reasoning." @default.
• W77205158 created "2016-06-24" @default.
• W77205158 creator A5072323649 @default.
• W77205158 creator A5087109002 @default.
• W77205158 date "2012-01-01" @default.
• W77205158 modified "2023-10-18" @default.
• W77205158 title "A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices" @default.
• W77205158 cites W1487409515 @default.
• W77205158 cites W1554599886 @default.
• W77205158 cites W1555563750 @default.
• W77205158 cites W1558260377 @default.
• W77205158 cites W1585071008 @default.
• W77205158 cites W1860155895 @default.
• W77205158 cites W1964664152 @default.
• W77205158 cites W2015820262 @default.
• W77205158 cites W2033088754 @default.
• W77205158 cites W2048742358 @default.
• W77205158 cites W2101556477 @default.
• W77205158 cites W2116976042 @default.
• W77205158 cites W2125067149 @default.
• W77205158 cites W2157732093 @default.
• W77205158 cites W2165433828 @default.
• W77205158 cites W27460666 @default.
• W77205158 cites W4301260238 @default.
• W77205158 cites W89756268 @default.
• W77205158 doi "https://doi.org/10.1007/978-3-642-33203-6_3" @default.
• W77205158 hasPublicationYear "2012" @default.
• W77205158 type Work @default.
• W77205158 sameAs 77205158 @default.
• W77205158 citedByCount "12" @default.
• W77205158 countsByYear W772051582012 @default.
• W77205158 countsByYear W772051582013 @default.
• W77205158 countsByYear W772051582014 @default.
• W77205158 countsByYear W772051582015 @default.
• W77205158 countsByYear W772051582016 @default.
• W77205158 countsByYear W772051582017 @default.
• W77205158 crossrefType "book-chapter" @default.
• W77205158 hasAuthorship W77205158A5072323649 @default.
• W77205158 hasAuthorship W77205158A5087109002 @default.
• W77205158 hasBestOaLocation W772051582 @default.
• W77205158 hasConcept C102993220 @default.
• W77205158 hasConcept C11413529 @default.
• W77205158 hasConcept C118615104 @default.
• W77205158 hasConcept C136119220 @default.
• W77205158 hasConcept C153269930 @default.
• W77205158 hasConcept C154945302 @default.
• W77205158 hasConcept C168773769 @default.
• W77205158 hasConcept C1883856 @default.
• W77205158 hasConcept C192034797 @default.
• W77205158 hasConcept C202444582 @default.
• W77205158 hasConcept C2776436953 @default.
• W77205158 hasConcept C2781278839 @default.
• W77205158 hasConcept C2781302003 @default.
• W77205158 hasConcept C33923547 @default.
• W77205158 hasConcept C41008148 @default.
• W77205158 hasConcept C42011625 @default.
• W77205158 hasConcept C58166 @default.
• W77205158 hasConcept C6943359 @default.
• W77205158 hasConcept C80444323 @default.
• W77205158 hasConcept C86602344 @default.
• W77205158 hasConcept C98224912 @default.
• W77205158 hasConceptScore W77205158C102993220 @default.
• W77205158 hasConceptScore W77205158C11413529 @default.
• W77205158 hasConceptScore W77205158C118615104 @default.
• W77205158 hasConceptScore W77205158C136119220 @default.
• W77205158 hasConceptScore W77205158C153269930 @default.
• W77205158 hasConceptScore W77205158C154945302 @default.
• W77205158 hasConceptScore W77205158C168773769 @default.
• W77205158 hasConceptScore W77205158C1883856 @default.
• W77205158 hasConceptScore W77205158C192034797 @default.
• W77205158 hasConceptScore W77205158C202444582 @default.
• W77205158 hasConceptScore W77205158C2776436953 @default.
• W77205158 hasConceptScore W77205158C2781278839 @default.
• W77205158 hasConceptScore W77205158C2781302003 @default.
• W77205158 hasConceptScore W77205158C33923547 @default.
• W77205158 hasConceptScore W77205158C41008148 @default.
• W77205158 hasConceptScore W77205158C42011625 @default.
• W77205158 hasConceptScore W77205158C58166 @default.
• W77205158 hasConceptScore W77205158C6943359 @default.
• W77205158 hasConceptScore W77205158C80444323 @default.
• W77205158 hasConceptScore W77205158C86602344 @default.
• W77205158 hasConceptScore W77205158C98224912 @default.
• W77205158 hasLocation W772051581 @default.
• W77205158 hasLocation W772051582 @default.
• W77205158 hasOpenAccess W77205158 @default.
• W77205158 hasPrimaryLocation W772051581 @default.
• W77205158 hasRelatedWork W1991802248 @default.
• W77205158 hasRelatedWork W1998665045 @default.
• W77205158 hasRelatedWork W2137935204 @default.
• W77205158 hasRelatedWork W2399028252 @default.
• W77205158 hasRelatedWork W3089623425 @default.
• W77205158 hasRelatedWork W3123793150 @default.
• W77205158 hasRelatedWork W4289699955 @default.
• W77205158 hasRelatedWork W4301260238 @default.
• W77205158 hasRelatedWork W43554226 @default.
• W77205158 hasRelatedWork W77205158 @default.
• W77205158 isParatext "false" @default.
• W77205158 isRetracted "false" @default.

• next