Matches in SemOpenAlex for { <https://semopenalex.org/work/W2360366507> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2360366507 abstract "Description logics are a family of knowledge representation formalisms which become logical foundation of semantic Web. Tableaux are basic proof theories for description logics. Tableau-based algorithms provide the reason- ing engines for description logics. In this paper,we survey various description logics and the corresponding tableau a1- gorithms with respect from ALC to SHOQ(D) of the semantic Web languages." @default.
- W2360366507 created "2016-06-24" @default.
- W2360366507 creator A5043785663 @default.
- W2360366507 date "2005-01-01" @default.
- W2360366507 modified "2023-09-23" @default.
- W2360366507 title "From ALC to SHOQ(D):A Survey of Tableau Algorithms for Description Logics" @default.
- W2360366507 hasPublicationYear "2005" @default.
- W2360366507 type Work @default.
- W2360366507 sameAs 2360366507 @default.
- W2360366507 citedByCount "4" @default.
- W2360366507 countsByYear W23603665072012 @default.
- W2360366507 countsByYear W23603665072013 @default.
- W2360366507 crossrefType "journal-article" @default.
- W2360366507 hasAuthorship W2360366507A5043785663 @default.
- W2360366507 hasConcept C102993220 @default.
- W2360366507 hasConcept C11413529 @default.
- W2360366507 hasConcept C154945302 @default.
- W2360366507 hasConcept C171018156 @default.
- W2360366507 hasConcept C17744445 @default.
- W2360366507 hasConcept C199360897 @default.
- W2360366507 hasConcept C199539241 @default.
- W2360366507 hasConcept C2129575 @default.
- W2360366507 hasConcept C23123220 @default.
- W2360366507 hasConcept C2524010 @default.
- W2360366507 hasConcept C2776359362 @default.
- W2360366507 hasConcept C33923547 @default.
- W2360366507 hasConcept C41008148 @default.
- W2360366507 hasConcept C42011625 @default.
- W2360366507 hasConcept C5263885 @default.
- W2360366507 hasConcept C58166 @default.
- W2360366507 hasConcept C80444323 @default.
- W2360366507 hasConcept C86602344 @default.
- W2360366507 hasConcept C94625758 @default.
- W2360366507 hasConceptScore W2360366507C102993220 @default.
- W2360366507 hasConceptScore W2360366507C11413529 @default.
- W2360366507 hasConceptScore W2360366507C154945302 @default.
- W2360366507 hasConceptScore W2360366507C171018156 @default.
- W2360366507 hasConceptScore W2360366507C17744445 @default.
- W2360366507 hasConceptScore W2360366507C199360897 @default.
- W2360366507 hasConceptScore W2360366507C199539241 @default.
- W2360366507 hasConceptScore W2360366507C2129575 @default.
- W2360366507 hasConceptScore W2360366507C23123220 @default.
- W2360366507 hasConceptScore W2360366507C2524010 @default.
- W2360366507 hasConceptScore W2360366507C2776359362 @default.
- W2360366507 hasConceptScore W2360366507C33923547 @default.
- W2360366507 hasConceptScore W2360366507C41008148 @default.
- W2360366507 hasConceptScore W2360366507C42011625 @default.
- W2360366507 hasConceptScore W2360366507C5263885 @default.
- W2360366507 hasConceptScore W2360366507C58166 @default.
- W2360366507 hasConceptScore W2360366507C80444323 @default.
- W2360366507 hasConceptScore W2360366507C86602344 @default.
- W2360366507 hasConceptScore W2360366507C94625758 @default.
- W2360366507 hasLocation W23603665071 @default.
- W2360366507 hasOpenAccess W2360366507 @default.
- W2360366507 hasPrimaryLocation W23603665071 @default.
- W2360366507 hasRelatedWork W140818114 @default.
- W2360366507 hasRelatedWork W1504701661 @default.
- W2360366507 hasRelatedWork W1546821488 @default.
- W2360366507 hasRelatedWork W1572815575 @default.
- W2360366507 hasRelatedWork W1585071008 @default.
- W2360366507 hasRelatedWork W1595913023 @default.
- W2360366507 hasRelatedWork W1818629355 @default.
- W2360366507 hasRelatedWork W1906763968 @default.
- W2360366507 hasRelatedWork W2040241347 @default.
- W2360366507 hasRelatedWork W2049677513 @default.
- W2360366507 hasRelatedWork W2120921192 @default.
- W2360366507 hasRelatedWork W2131997783 @default.
- W2360366507 hasRelatedWork W2159463330 @default.
- W2360366507 hasRelatedWork W2161911014 @default.
- W2360366507 hasRelatedWork W2328401423 @default.
- W2360366507 hasRelatedWork W2349546379 @default.
- W2360366507 hasRelatedWork W2371337430 @default.
- W2360366507 hasRelatedWork W2530494681 @default.
- W2360366507 hasRelatedWork W2613416055 @default.
- W2360366507 hasRelatedWork W2148171272 @default.
- W2360366507 isParatext "false" @default.
- W2360366507 isRetracted "false" @default.
- W2360366507 magId "2360366507" @default.
- W2360366507 workType "article" @default.