Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022105839> ?p ?o ?g. }
- W2022105839 abstract "The increasing use of Ontologies, formulated using expressive Description Logics, for time sensitive applications necessitates the development of fast (near realtime) reasoning tools. Mul- ticore processors are nowadays widespread across desktop, laptop, server, and even smartphone and tablets devices. The rise of such powerful execution environments calls for new parallel and distributed Description Logics (DLs) reasoning algorithms. Many sophisticated optimizations have been explored and have considerably enhanced DL reasoning with light ontologies. Non- determinism remains a main source of complexity for implemented systems handling ontologies relying on more expressive logics. In this work, we explore handling non-determinism with DL languages enabling qualified cardinality restrictions. We implement a fork/join parallel framework into our tableau-based al- gebraic reasoner, which handles qualified cardinality restrictions and nominals using in-equation solving. The preliminary results are encouraging and show that using a parallel framework with algebraic reasoning is worth investigating and more promising than parallelizing standard tableau-based reasoning.Â" @default.
- W2022105839 created "2016-06-24" @default.
- W2022105839 creator A5013451717 @default.
- W2022105839 creator A5071701063 @default.
- W2022105839 date "2015-01-01" @default.
- W2022105839 modified "2023-10-03" @default.
- W2022105839 title "Handling Non-determinism with Description Logics using a Fork/Join Approach" @default.
- W2022105839 cites W110128867 @default.
- W2022105839 cites W1481056909 @default.
- W2022105839 cites W1493568378 @default.
- W2022105839 cites W1497036643 @default.
- W2022105839 cites W1580256897 @default.
- W2022105839 cites W1585071008 @default.
- W2022105839 cites W1592358516 @default.
- W2022105839 cites W1597905173 @default.
- W2022105839 cites W162120283 @default.
- W2022105839 cites W1678959094 @default.
- W2022105839 cites W1923876550 @default.
- W2022105839 cites W1975579741 @default.
- W2022105839 cites W2003301733 @default.
- W2022105839 cites W2016937049 @default.
- W2022105839 cites W2040241347 @default.
- W2022105839 cites W2078975546 @default.
- W2022105839 cites W2096176691 @default.
- W2022105839 cites W2096374069 @default.
- W2022105839 cites W2117753247 @default.
- W2022105839 cites W2140857649 @default.
- W2022105839 cites W2141970373 @default.
- W2022105839 cites W2145465694 @default.
- W2022105839 cites W2154026530 @default.
- W2022105839 cites W2156774188 @default.
- W2022105839 cites W2165078026 @default.
- W2022105839 cites W2166977732 @default.
- W2022105839 cites W2175268987 @default.
- W2022105839 cites W2400902361 @default.
- W2022105839 cites W2406441913 @default.
- W2022105839 cites W2406928363 @default.
- W2022105839 cites W283472482 @default.
- W2022105839 cites W292077872 @default.
- W2022105839 cites W67807917 @default.
- W2022105839 cites W944302435 @default.
- W2022105839 cites W152800020 @default.
- W2022105839 cites W1966177435 @default.
- W2022105839 doi "https://doi.org/10.15803/ijnc.5.1_61" @default.
- W2022105839 hasPublicationYear "2015" @default.
- W2022105839 type Work @default.
- W2022105839 sameAs 2022105839 @default.
- W2022105839 citedByCount "4" @default.
- W2022105839 countsByYear W20221058392016 @default.
- W2022105839 countsByYear W20221058392017 @default.
- W2022105839 countsByYear W20221058392019 @default.
- W2022105839 crossrefType "journal-article" @default.
- W2022105839 hasAuthorship W2022105839A5013451717 @default.
- W2022105839 hasAuthorship W2022105839A5071701063 @default.
- W2022105839 hasBestOaLocation W20221058391 @default.
- W2022105839 hasConcept C102993220 @default.
- W2022105839 hasConcept C111472728 @default.
- W2022105839 hasConcept C111919701 @default.
- W2022105839 hasConcept C114614502 @default.
- W2022105839 hasConcept C121332964 @default.
- W2022105839 hasConcept C138885662 @default.
- W2022105839 hasConcept C154945302 @default.
- W2022105839 hasConcept C192183473 @default.
- W2022105839 hasConcept C199360897 @default.
- W2022105839 hasConcept C25810664 @default.
- W2022105839 hasConcept C2776124973 @default.
- W2022105839 hasConcept C2780008327 @default.
- W2022105839 hasConcept C33923547 @default.
- W2022105839 hasConcept C40523978 @default.
- W2022105839 hasConcept C41008148 @default.
- W2022105839 hasConcept C62520636 @default.
- W2022105839 hasConcept C77088390 @default.
- W2022105839 hasConcept C80444323 @default.
- W2022105839 hasConcept C87117476 @default.
- W2022105839 hasConcept C9616225 @default.
- W2022105839 hasConceptScore W2022105839C102993220 @default.
- W2022105839 hasConceptScore W2022105839C111472728 @default.
- W2022105839 hasConceptScore W2022105839C111919701 @default.
- W2022105839 hasConceptScore W2022105839C114614502 @default.
- W2022105839 hasConceptScore W2022105839C121332964 @default.
- W2022105839 hasConceptScore W2022105839C138885662 @default.
- W2022105839 hasConceptScore W2022105839C154945302 @default.
- W2022105839 hasConceptScore W2022105839C192183473 @default.
- W2022105839 hasConceptScore W2022105839C199360897 @default.
- W2022105839 hasConceptScore W2022105839C25810664 @default.
- W2022105839 hasConceptScore W2022105839C2776124973 @default.
- W2022105839 hasConceptScore W2022105839C2780008327 @default.
- W2022105839 hasConceptScore W2022105839C33923547 @default.
- W2022105839 hasConceptScore W2022105839C40523978 @default.
- W2022105839 hasConceptScore W2022105839C41008148 @default.
- W2022105839 hasConceptScore W2022105839C62520636 @default.
- W2022105839 hasConceptScore W2022105839C77088390 @default.
- W2022105839 hasConceptScore W2022105839C80444323 @default.
- W2022105839 hasConceptScore W2022105839C87117476 @default.
- W2022105839 hasConceptScore W2022105839C9616225 @default.
- W2022105839 hasLocation W20221058391 @default.
- W2022105839 hasLocation W20221058392 @default.
- W2022105839 hasOpenAccess W2022105839 @default.
- W2022105839 hasPrimaryLocation W20221058391 @default.
- W2022105839 hasRelatedWork W120747662 @default.