Matches in SemOpenAlex for { <https://semopenalex.org/work/W2011348504> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2011348504 abstract "Ontology description can use Description Logic(DL) language, so DL's reasoning service can be used in ontology reasoning. In each kind DL, there is a corresponding tableau algorithm to do the reasoning process. There are some sophisticated software to do DL reasoning, they using tree with conflict to decide whether a problem can be using satisfiability to solve. There are a lot of optimization methods to optimize the reasoning service, their attention on the tree structure with conflict. We propose a new algorithm, Heuristic Skipping Rules Algorithm(HSRA), to simply the rule set called by tableau algorithms, and experimentally proved the effectiveness of the HSRA." @default.
- W2011348504 created "2016-06-24" @default.
- W2011348504 creator A5008349845 @default.
- W2011348504 creator A5014352018 @default.
- W2011348504 creator A5050299399 @default.
- W2011348504 creator A5059828885 @default.
- W2011348504 date "2012-03-01" @default.
- W2011348504 modified "2023-09-23" @default.
- W2011348504 title "A Heuristic Skipping Rules Algorithm on Tableau Algorithm" @default.
- W2011348504 cites W1524870477 @default.
- W2011348504 cites W1548346924 @default.
- W2011348504 cites W1555563750 @default.
- W2011348504 cites W1566915632 @default.
- W2011348504 cites W1964664152 @default.
- W2011348504 cites W1978912716 @default.
- W2011348504 cites W2018054118 @default.
- W2011348504 cites W2122368812 @default.
- W2011348504 cites W2126755595 @default.
- W2011348504 cites W2132353952 @default.
- W2011348504 cites W2154829072 @default.
- W2011348504 cites W2260968445 @default.
- W2011348504 cites W2360366507 @default.
- W2011348504 cites W2362661883 @default.
- W2011348504 cites W2377510029 @default.
- W2011348504 doi "https://doi.org/10.1109/iccsee.2012.99" @default.
- W2011348504 hasPublicationYear "2012" @default.
- W2011348504 type Work @default.
- W2011348504 sameAs 2011348504 @default.
- W2011348504 citedByCount "0" @default.
- W2011348504 crossrefType "proceedings-article" @default.
- W2011348504 hasAuthorship W2011348504A5008349845 @default.
- W2011348504 hasAuthorship W2011348504A5014352018 @default.
- W2011348504 hasAuthorship W2011348504A5050299399 @default.
- W2011348504 hasAuthorship W2011348504A5059828885 @default.
- W2011348504 hasConcept C102993220 @default.
- W2011348504 hasConcept C111472728 @default.
- W2011348504 hasConcept C113174947 @default.
- W2011348504 hasConcept C11413529 @default.
- W2011348504 hasConcept C134306372 @default.
- W2011348504 hasConcept C138885662 @default.
- W2011348504 hasConcept C154945302 @default.
- W2011348504 hasConcept C168773769 @default.
- W2011348504 hasConcept C173801870 @default.
- W2011348504 hasConcept C177264268 @default.
- W2011348504 hasConcept C199360897 @default.
- W2011348504 hasConcept C25810664 @default.
- W2011348504 hasConcept C2776235265 @default.
- W2011348504 hasConcept C33923547 @default.
- W2011348504 hasConcept C41008148 @default.
- W2011348504 hasConcept C6943359 @default.
- W2011348504 hasConcept C80444323 @default.
- W2011348504 hasConceptScore W2011348504C102993220 @default.
- W2011348504 hasConceptScore W2011348504C111472728 @default.
- W2011348504 hasConceptScore W2011348504C113174947 @default.
- W2011348504 hasConceptScore W2011348504C11413529 @default.
- W2011348504 hasConceptScore W2011348504C134306372 @default.
- W2011348504 hasConceptScore W2011348504C138885662 @default.
- W2011348504 hasConceptScore W2011348504C154945302 @default.
- W2011348504 hasConceptScore W2011348504C168773769 @default.
- W2011348504 hasConceptScore W2011348504C173801870 @default.
- W2011348504 hasConceptScore W2011348504C177264268 @default.
- W2011348504 hasConceptScore W2011348504C199360897 @default.
- W2011348504 hasConceptScore W2011348504C25810664 @default.
- W2011348504 hasConceptScore W2011348504C2776235265 @default.
- W2011348504 hasConceptScore W2011348504C33923547 @default.
- W2011348504 hasConceptScore W2011348504C41008148 @default.
- W2011348504 hasConceptScore W2011348504C6943359 @default.
- W2011348504 hasConceptScore W2011348504C80444323 @default.
- W2011348504 hasLocation W20113485041 @default.
- W2011348504 hasOpenAccess W2011348504 @default.
- W2011348504 hasPrimaryLocation W20113485041 @default.
- W2011348504 hasRelatedWork W110865114 @default.
- W2011348504 hasRelatedWork W124262502 @default.
- W2011348504 hasRelatedWork W143036387 @default.
- W2011348504 hasRelatedWork W1508626326 @default.
- W2011348504 hasRelatedWork W1585957310 @default.
- W2011348504 hasRelatedWork W1646934868 @default.
- W2011348504 hasRelatedWork W1838000200 @default.
- W2011348504 hasRelatedWork W1859305384 @default.
- W2011348504 hasRelatedWork W1909618879 @default.
- W2011348504 hasRelatedWork W2023342223 @default.
- W2011348504 hasRelatedWork W2029840387 @default.
- W2011348504 hasRelatedWork W2052192691 @default.
- W2011348504 hasRelatedWork W2129620391 @default.
- W2011348504 hasRelatedWork W2129909699 @default.
- W2011348504 hasRelatedWork W2132103202 @default.
- W2011348504 hasRelatedWork W2252478902 @default.
- W2011348504 hasRelatedWork W2403504633 @default.
- W2011348504 hasRelatedWork W2586641388 @default.
- W2011348504 hasRelatedWork W2947803623 @default.
- W2011348504 hasRelatedWork W2188635485 @default.
- W2011348504 isParatext "false" @default.
- W2011348504 isRetracted "false" @default.
- W2011348504 magId "2011348504" @default.
- W2011348504 workType "article" @default.