Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569804890> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1569804890 endingPage "726" @default.
- W1569804890 startingPage "725" @default.
- W1569804890 abstract "We propose an approach for extending a tableau-based satisfiability algorithm by an arithmetic component. The result is a hybrid concept satisfiability algorithm for the Description Logic (DL) ALCQ which extends ALC with qualified number restrictions. The hybrid approach ensures a more informed calculus which, on the one hand, adequately handles the interaction between numerical and logical restrictions of descriptions, and on the other hand, when applied is a very promising framework for average case optimizations." @default.
- W1569804890 created "2016-06-24" @default.
- W1569804890 creator A5071571704 @default.
- W1569804890 creator A5071701063 @default.
- W1569804890 creator A5073963263 @default.
- W1569804890 creator A5083490672 @default.
- W1569804890 date "2008-06-27" @default.
- W1569804890 modified "2023-09-24" @default.
- W1569804890 title "A Hybrid Tableau Algorithm for ALCQ" @default.
- W1569804890 cites W1481056909 @default.
- W1569804890 cites W157772201 @default.
- W1569804890 cites W1585071008 @default.
- W1569804890 cites W1588876385 @default.
- W1569804890 cites W162120283 @default.
- W1569804890 cites W1982030536 @default.
- W1569804890 cites W2154026530 @default.
- W1569804890 cites W67999617 @default.
- W1569804890 hasPublicationYear "2008" @default.
- W1569804890 type Work @default.
- W1569804890 sameAs 1569804890 @default.
- W1569804890 citedByCount "0" @default.
- W1569804890 crossrefType "proceedings-article" @default.
- W1569804890 hasAuthorship W1569804890A5071571704 @default.
- W1569804890 hasAuthorship W1569804890A5071701063 @default.
- W1569804890 hasAuthorship W1569804890A5073963263 @default.
- W1569804890 hasAuthorship W1569804890A5083490672 @default.
- W1569804890 hasConcept C11413529 @default.
- W1569804890 hasConcept C121332964 @default.
- W1569804890 hasConcept C154945302 @default.
- W1569804890 hasConcept C168167062 @default.
- W1569804890 hasConcept C168773769 @default.
- W1569804890 hasConcept C176783269 @default.
- W1569804890 hasConcept C41008148 @default.
- W1569804890 hasConcept C44616089 @default.
- W1569804890 hasConcept C49937458 @default.
- W1569804890 hasConcept C62469222 @default.
- W1569804890 hasConcept C6943359 @default.
- W1569804890 hasConcept C80444323 @default.
- W1569804890 hasConcept C97355855 @default.
- W1569804890 hasConceptScore W1569804890C11413529 @default.
- W1569804890 hasConceptScore W1569804890C121332964 @default.
- W1569804890 hasConceptScore W1569804890C154945302 @default.
- W1569804890 hasConceptScore W1569804890C168167062 @default.
- W1569804890 hasConceptScore W1569804890C168773769 @default.
- W1569804890 hasConceptScore W1569804890C176783269 @default.
- W1569804890 hasConceptScore W1569804890C41008148 @default.
- W1569804890 hasConceptScore W1569804890C44616089 @default.
- W1569804890 hasConceptScore W1569804890C49937458 @default.
- W1569804890 hasConceptScore W1569804890C62469222 @default.
- W1569804890 hasConceptScore W1569804890C6943359 @default.
- W1569804890 hasConceptScore W1569804890C80444323 @default.
- W1569804890 hasConceptScore W1569804890C97355855 @default.
- W1569804890 hasLocation W15698048901 @default.
- W1569804890 hasOpenAccess W1569804890 @default.
- W1569804890 hasPrimaryLocation W15698048901 @default.
- W1569804890 hasRelatedWork W1481056909 @default.
- W1569804890 hasRelatedWork W1537589219 @default.
- W1569804890 hasRelatedWork W1550474961 @default.
- W1569804890 hasRelatedWork W1571311674 @default.
- W1569804890 hasRelatedWork W1597914073 @default.
- W1569804890 hasRelatedWork W1600640230 @default.
- W1569804890 hasRelatedWork W1602995535 @default.
- W1569804890 hasRelatedWork W1769923558 @default.
- W1569804890 hasRelatedWork W1997716585 @default.
- W1569804890 hasRelatedWork W1998304852 @default.
- W1569804890 hasRelatedWork W2113726481 @default.
- W1569804890 hasRelatedWork W2124943199 @default.
- W1569804890 hasRelatedWork W2131842699 @default.
- W1569804890 hasRelatedWork W2180360104 @default.
- W1569804890 hasRelatedWork W2180769159 @default.
- W1569804890 hasRelatedWork W2405704589 @default.
- W1569804890 hasRelatedWork W2514073783 @default.
- W1569804890 hasRelatedWork W2613252377 @default.
- W1569804890 hasRelatedWork W2950008628 @default.
- W1569804890 hasRelatedWork W2971509819 @default.
- W1569804890 isParatext "false" @default.
- W1569804890 isRetracted "false" @default.
- W1569804890 magId "1569804890" @default.
- W1569804890 workType "article" @default.