Matches in SemOpenAlex for { <https://semopenalex.org/work/W1724963320> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1724963320 endingPage "73" @default.
- W1724963320 startingPage "55" @default.
- W1724963320 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 easier 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.
- W1724963320 created "2016-06-24" @default.
- W1724963320 creator A5025571978 @default.
- W1724963320 creator A5091510344 @default.
- W1724963320 date "2013-09-01" @default.
- W1724963320 modified "2023-09-30" @default.
- W1724963320 title "Generalized satisfiability for the description logic<mml:math xmlns:mml=http://www.w3.org/1998/Math/MathML altimg=si1.gif display=inline overflow=scroll><mml:mi mathvariant=script>ALC</mml:mi></mml:math>" @default.
- W1724963320 cites W144418952 @default.
- W1724963320 cites W1509731421 @default.
- W1724963320 cites W1510481118 @default.
- W1724963320 cites W1976656121 @default.
- W1724963320 cites W1980794674 @default.
- W1724963320 cites W2059493921 @default.
- W1724963320 cites W2079275582 @default.
- W1724963320 cites W2082723133 @default.
- W1724963320 cites W2091470957 @default.
- W1724963320 cites W2099318732 @default.
- W1724963320 cites W2783597480 @default.
- W1724963320 cites W3100064989 @default.
- W1724963320 cites W3101483322 @default.
- W1724963320 cites W4300129298 @default.
- W1724963320 cites W4301889661 @default.
- W1724963320 doi "https://doi.org/10.1016/j.tcs.2013.02.009" @default.
- W1724963320 hasPublicationYear "2013" @default.
- W1724963320 type Work @default.
- W1724963320 sameAs 1724963320 @default.
- W1724963320 citedByCount "7" @default.
- W1724963320 countsByYear W17249633202012 @default.
- W1724963320 countsByYear W17249633202017 @default.
- W1724963320 countsByYear W17249633202019 @default.
- W1724963320 countsByYear W17249633202020 @default.
- W1724963320 countsByYear W17249633202021 @default.
- W1724963320 crossrefType "journal-article" @default.
- W1724963320 hasAuthorship W1724963320A5025571978 @default.
- W1724963320 hasAuthorship W1724963320A5091510344 @default.
- W1724963320 hasBestOaLocation W17249633201 @default.
- W1724963320 hasConcept C11413529 @default.
- W1724963320 hasConcept C114614502 @default.
- W1724963320 hasConcept C118615104 @default.
- W1724963320 hasConcept C12707504 @default.
- W1724963320 hasConcept C134652429 @default.
- W1724963320 hasConcept C143936061 @default.
- W1724963320 hasConcept C153269930 @default.
- W1724963320 hasConcept C154945302 @default.
- W1724963320 hasConcept C167729594 @default.
- W1724963320 hasConcept C168773769 @default.
- W1724963320 hasConcept C179799912 @default.
- W1724963320 hasConcept C197685441 @default.
- W1724963320 hasConcept C200415742 @default.
- W1724963320 hasConcept C2524010 @default.
- W1724963320 hasConcept C2778523021 @default.
- W1724963320 hasConcept C33923547 @default.
- W1724963320 hasConcept C41008148 @default.
- W1724963320 hasConcept C6943359 @default.
- W1724963320 hasConcept C76155785 @default.
- W1724963320 hasConceptScore W1724963320C11413529 @default.
- W1724963320 hasConceptScore W1724963320C114614502 @default.
- W1724963320 hasConceptScore W1724963320C118615104 @default.
- W1724963320 hasConceptScore W1724963320C12707504 @default.
- W1724963320 hasConceptScore W1724963320C134652429 @default.
- W1724963320 hasConceptScore W1724963320C143936061 @default.
- W1724963320 hasConceptScore W1724963320C153269930 @default.
- W1724963320 hasConceptScore W1724963320C154945302 @default.
- W1724963320 hasConceptScore W1724963320C167729594 @default.
- W1724963320 hasConceptScore W1724963320C168773769 @default.
- W1724963320 hasConceptScore W1724963320C179799912 @default.
- W1724963320 hasConceptScore W1724963320C197685441 @default.
- W1724963320 hasConceptScore W1724963320C200415742 @default.
- W1724963320 hasConceptScore W1724963320C2524010 @default.
- W1724963320 hasConceptScore W1724963320C2778523021 @default.
- W1724963320 hasConceptScore W1724963320C33923547 @default.
- W1724963320 hasConceptScore W1724963320C41008148 @default.
- W1724963320 hasConceptScore W1724963320C6943359 @default.
- W1724963320 hasConceptScore W1724963320C76155785 @default.
- W1724963320 hasLocation W17249633201 @default.
- W1724963320 hasLocation W17249633202 @default.
- W1724963320 hasOpenAccess W1724963320 @default.
- W1724963320 hasPrimaryLocation W17249633201 @default.
- W1724963320 hasRelatedWork W1504894251 @default.
- W1724963320 hasRelatedWork W1607550340 @default.
- W1724963320 hasRelatedWork W1724963320 @default.
- W1724963320 hasRelatedWork W2165775376 @default.
- W1724963320 hasRelatedWork W2167135424 @default.
- W1724963320 hasRelatedWork W2181543593 @default.
- W1724963320 hasRelatedWork W2236535155 @default.
- W1724963320 hasRelatedWork W2404289303 @default.
- W1724963320 hasRelatedWork W2909742694 @default.
- W1724963320 hasRelatedWork W2962909051 @default.
- W1724963320 hasVolume "505" @default.
- W1724963320 isParatext "false" @default.
- W1724963320 isRetracted "false" @default.
- W1724963320 magId "1724963320" @default.
- W1724963320 workType "article" @default.
