Matches in SemOpenAlex for { <https://semopenalex.org/work/W2168604061> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2168604061 abstract "For solving problems in a large-scale distributed Web environment, we proposed beta-PSML (problem solver markup language). We have studied the theoretical problems of beta-PSML constructed by combining description logic and Horn clauses. In the nonrecursive case, we show that a single step of applying a Horn clause needs to be replaced by a more sophisticated reasoning step in beta-PSML. We call it as the hybrid reasoning algorithm. We described the hybrid reasoning algorithm in this paper. Hybrid reasoning algorithm provides a sound and complete inference procedure for nonrecursive beta-PSML knowledge bases in which the description logic component is decidable." @default.
- W2168604061 created "2016-06-24" @default.
- W2168604061 creator A5001200431 @default.
- W2168604061 date "2009-06-01" @default.
- W2168604061 modified "2023-09-27" @default.
- W2168604061 title "The Hybrid Reasoning Algorithm of ß-PSML" @default.
- W2168604061 cites W1483808781 @default.
- W2168604061 cites W1496545610 @default.
- W2168604061 cites W1511284474 @default.
- W2168604061 cites W1536088796 @default.
- W2168604061 cites W1587067956 @default.
- W2168604061 cites W184147274 @default.
- W2168604061 cites W1980794674 @default.
- W2168604061 cites W1998044200 @default.
- W2168604061 cites W2111076108 @default.
- W2168604061 cites W53060394 @default.
- W2168604061 doi "https://doi.org/10.1109/cason.2009.10" @default.
- W2168604061 hasPublicationYear "2009" @default.
- W2168604061 type Work @default.
- W2168604061 sameAs 2168604061 @default.
- W2168604061 citedByCount "1" @default.
- W2168604061 crossrefType "proceedings-article" @default.
- W2168604061 hasAuthorship W2168604061A5001200431 @default.
- W2168604061 hasConcept C102993220 @default.
- W2168604061 hasConcept C111919701 @default.
- W2168604061 hasConcept C11413529 @default.
- W2168604061 hasConcept C128838566 @default.
- W2168604061 hasConcept C137105694 @default.
- W2168604061 hasConcept C152076505 @default.
- W2168604061 hasConcept C153269930 @default.
- W2168604061 hasConcept C154945302 @default.
- W2168604061 hasConcept C15744967 @default.
- W2168604061 hasConcept C159032336 @default.
- W2168604061 hasConcept C189790780 @default.
- W2168604061 hasConcept C19417346 @default.
- W2168604061 hasConcept C195344581 @default.
- W2168604061 hasConcept C199360897 @default.
- W2168604061 hasConcept C199622910 @default.
- W2168604061 hasConcept C41008148 @default.
- W2168604061 hasConcept C45874996 @default.
- W2168604061 hasConcept C49937458 @default.
- W2168604061 hasConcept C62469222 @default.
- W2168604061 hasConcept C80444323 @default.
- W2168604061 hasConcept C8797682 @default.
- W2168604061 hasConcept C89288958 @default.
- W2168604061 hasConceptScore W2168604061C102993220 @default.
- W2168604061 hasConceptScore W2168604061C111919701 @default.
- W2168604061 hasConceptScore W2168604061C11413529 @default.
- W2168604061 hasConceptScore W2168604061C128838566 @default.
- W2168604061 hasConceptScore W2168604061C137105694 @default.
- W2168604061 hasConceptScore W2168604061C152076505 @default.
- W2168604061 hasConceptScore W2168604061C153269930 @default.
- W2168604061 hasConceptScore W2168604061C154945302 @default.
- W2168604061 hasConceptScore W2168604061C15744967 @default.
- W2168604061 hasConceptScore W2168604061C159032336 @default.
- W2168604061 hasConceptScore W2168604061C189790780 @default.
- W2168604061 hasConceptScore W2168604061C19417346 @default.
- W2168604061 hasConceptScore W2168604061C195344581 @default.
- W2168604061 hasConceptScore W2168604061C199360897 @default.
- W2168604061 hasConceptScore W2168604061C199622910 @default.
- W2168604061 hasConceptScore W2168604061C41008148 @default.
- W2168604061 hasConceptScore W2168604061C45874996 @default.
- W2168604061 hasConceptScore W2168604061C49937458 @default.
- W2168604061 hasConceptScore W2168604061C62469222 @default.
- W2168604061 hasConceptScore W2168604061C80444323 @default.
- W2168604061 hasConceptScore W2168604061C8797682 @default.
- W2168604061 hasConceptScore W2168604061C89288958 @default.
- W2168604061 hasLocation W21686040611 @default.
- W2168604061 hasOpenAccess W2168604061 @default.
- W2168604061 hasPrimaryLocation W21686040611 @default.
- W2168604061 hasRelatedWork W1573619547 @default.
- W2168604061 hasRelatedWork W2037576563 @default.
- W2168604061 hasRelatedWork W2041998877 @default.
- W2168604061 hasRelatedWork W2047064616 @default.
- W2168604061 hasRelatedWork W2115221987 @default.
- W2168604061 hasRelatedWork W2168604061 @default.
- W2168604061 hasRelatedWork W22612880 @default.
- W2168604061 hasRelatedWork W2625667536 @default.
- W2168604061 hasRelatedWork W26997737 @default.
- W2168604061 hasRelatedWork W80604035 @default.
- W2168604061 isParatext "false" @default.
- W2168604061 isRetracted "false" @default.
- W2168604061 magId "2168604061" @default.
- W2168604061 workType "article" @default.