FRINK Linked Data Fragments server

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

• W2181543593 endingPage "562" @default.
• W2181543593 startingPage "552" @default.
• W2181543593 abstract "The standard reasoning problem, concept satisfiability, in the basic description logic ALC is PSPACE-complete, and it is EXPTIME- complete in the presence of unrestricted axioms. Several fragments of ALC, notably logics in the FL, EL, and DL-Lite families, have an eas- ier satisfiability problem; sometimes it is even tractable. We classify the complexity of the standard satisfiability problems for all possible Boolean and quantifier fragments of ALC in the presence of general axioms." @default.
• W2181543593 created "2016-06-24" @default.
• W2181543593 creator A5025571978 @default.
• W2181543593 creator A5091510344 @default.
• W2181543593 date "2011-01-01" @default.
• W2181543593 modified "2023-09-25" @default.
• W2181543593 title "Generalized Satisfiability for the Description Logic ALC (Extended Abstract)" @default.
• W2181543593 cites W138168018 @default.
• W2181543593 cites W144418952 @default.
• W2181543593 cites W1504825969 @default.
• W2181543593 cites W1509731421 @default.
• W2181543593 cites W1510481118 @default.
• W2181543593 cites W1555563750 @default.
• W2181543593 cites W1575826876 @default.
• W2181543593 cites W1589711670 @default.
• W2181543593 cites W1724963320 @default.
• W2181543593 cites W1976656121 @default.
• W2181543593 cites W1980794674 @default.
• W2181543593 cites W1997703312 @default.
• W2181543593 cites W2033071128 @default.
• W2181543593 cites W2057440130 @default.
• W2181543593 cites W2059493921 @default.
• W2181543593 cites W2082723133 @default.
• W2181543593 cites W2091470957 @default.
• W2181543593 cites W2099318732 @default.
• W2181543593 cites W2114710125 @default.
• W2181543593 cites W2138392114 @default.
• W2181543593 cites W2166566648 @default.
• W2181543593 cites W2171207252 @default.
• W2181543593 cites W2568766428 @default.
• W2181543593 cites W25697800 @default.
• W2181543593 cites W2572885380 @default.
• W2181543593 cites W271442919 @default.
• W2181543593 cites W62327733 @default.
• W2181543593 hasPublicationYear "2011" @default.
• W2181543593 type Work @default.
• W2181543593 sameAs 2181543593 @default.
• W2181543593 citedByCount "0" @default.
• W2181543593 crossrefType "proceedings-article" @default.
• W2181543593 hasAuthorship W2181543593A5025571978 @default.
• W2181543593 hasAuthorship W2181543593A5091510344 @default.
• W2181543593 hasConcept C111797529 @default.
• W2181543593 hasConcept C11413529 @default.
• W2181543593 hasConcept C118615104 @default.
• W2181543593 hasConcept C154945302 @default.
• W2181543593 hasConcept C167729594 @default.
• W2181543593 hasConcept C168773769 @default.
• W2181543593 hasConcept C179799912 @default.
• W2181543593 hasConcept C187455244 @default.
• W2181543593 hasConcept C197685441 @default.
• W2181543593 hasConcept C200415742 @default.
• W2181543593 hasConcept C2524010 @default.
• W2181543593 hasConcept C2778523021 @default.
• W2181543593 hasConcept C33923547 @default.
• W2181543593 hasConcept C41008148 @default.
• W2181543593 hasConcept C56049555 @default.
• W2181543593 hasConcept C6943359 @default.
• W2181543593 hasConcept C80444323 @default.
• W2181543593 hasConceptScore W2181543593C111797529 @default.
• W2181543593 hasConceptScore W2181543593C11413529 @default.
• W2181543593 hasConceptScore W2181543593C118615104 @default.
• W2181543593 hasConceptScore W2181543593C154945302 @default.
• W2181543593 hasConceptScore W2181543593C167729594 @default.
• W2181543593 hasConceptScore W2181543593C168773769 @default.
• W2181543593 hasConceptScore W2181543593C179799912 @default.
• W2181543593 hasConceptScore W2181543593C187455244 @default.
• W2181543593 hasConceptScore W2181543593C197685441 @default.
• W2181543593 hasConceptScore W2181543593C200415742 @default.
• W2181543593 hasConceptScore W2181543593C2524010 @default.
• W2181543593 hasConceptScore W2181543593C2778523021 @default.
• W2181543593 hasConceptScore W2181543593C33923547 @default.
• W2181543593 hasConceptScore W2181543593C41008148 @default.
• W2181543593 hasConceptScore W2181543593C56049555 @default.
• W2181543593 hasConceptScore W2181543593C6943359 @default.
• W2181543593 hasConceptScore W2181543593C80444323 @default.
• W2181543593 hasLocation W21815435931 @default.
• W2181543593 hasOpenAccess W2181543593 @default.
• W2181543593 hasPrimaryLocation W21815435931 @default.
• W2181543593 hasRelatedWork W129461275 @default.
• W2181543593 hasRelatedWork W130766278 @default.
• W2181543593 hasRelatedWork W1507842208 @default.
• W2181543593 hasRelatedWork W1580772169 @default.
• W2181543593 hasRelatedWork W2002928961 @default.
• W2181543593 hasRelatedWork W2022963984 @default.
• W2181543593 hasRelatedWork W2087171264 @default.
• W2181543593 hasRelatedWork W2110126675 @default.
• W2181543593 hasRelatedWork W2236535155 @default.
• W2181543593 hasRelatedWork W2365011525 @default.
• W2181543593 hasRelatedWork W2395119740 @default.
• W2181543593 hasRelatedWork W2466670484 @default.
• W2181543593 hasRelatedWork W2515200 @default.
• W2181543593 hasRelatedWork W2592299919 @default.
• W2181543593 hasRelatedWork W2594374236 @default.
• W2181543593 hasRelatedWork W2765422753 @default.
• W2181543593 hasRelatedWork W2950772191 @default.
• W2181543593 hasRelatedWork W2962909051 @default.
• W2181543593 hasRelatedWork W3034779625 @default.
• W2181543593 hasRelatedWork W3157123045 @default.

• next