Matches in SemOpenAlex for { <https://semopenalex.org/work/W1489073803> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1489073803 endingPage "343" @default.
- W1489073803 startingPage "328" @default.
- W1489073803 abstract "AbstractThis paper presents a decidable fragment for combining ontologies and rules in order-sorted logic programming. We describe order-sorted logic programming with sort, predicate, and meta-predicate hierarchies for deriving predicate and meta-predicate assertions. Meta-level predicates (predicates of predicates) are useful for representing relationships between predicate formulas, and further, they conceptually yield a hierarchy similar to the hierarchies of sorts and predicates. By extending the order-sorted Horn-clause calculus, we develop a query-answering system that can answer queries such as atoms and meta-atoms generalized by containing predicate variables. We show that the expressive query-answering system computes every generalized query in single exponential time, i.e., the complexity of our query system is equal to that of DATALOG.KeywordsLogic ProgrammingArgument StructureGround AtomPredicate VariableQuery SystemThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1489073803 created "2016-06-24" @default.
- W1489073803 creator A5004421223 @default.
- W1489073803 creator A5037354785 @default.
- W1489073803 date "2009-01-01" @default.
- W1489073803 modified "2023-09-26" @default.
- W1489073803 title "Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring" @default.
- W1489073803 cites W1487196387 @default.
- W1489073803 cites W1565256608 @default.
- W1489073803 cites W1590363793 @default.
- W1489073803 cites W1832320040 @default.
- W1489073803 cites W1976076202 @default.
- W1489073803 cites W2027826324 @default.
- W1489073803 cites W2092207224 @default.
- W1489073803 cites W2102308007 @default.
- W1489073803 cites W2103174261 @default.
- W1489073803 cites W2122595168 @default.
- W1489073803 cites W2140587192 @default.
- W1489073803 cites W2161649341 @default.
- W1489073803 cites W22718786 @default.
- W1489073803 cites W4206370914 @default.
- W1489073803 doi "https://doi.org/10.1007/978-3-642-04930-9_21" @default.
- W1489073803 hasPublicationYear "2009" @default.
- W1489073803 type Work @default.
- W1489073803 sameAs 1489073803 @default.
- W1489073803 citedByCount "3" @default.
- W1489073803 countsByYear W14890738032012 @default.
- W1489073803 countsByYear W14890738032014 @default.
- W1489073803 crossrefType "book-chapter" @default.
- W1489073803 hasAuthorship W1489073803A5004421223 @default.
- W1489073803 hasAuthorship W1489073803A5037354785 @default.
- W1489073803 hasBestOaLocation W14890738031 @default.
- W1489073803 hasConcept C100481476 @default.
- W1489073803 hasConcept C102993220 @default.
- W1489073803 hasConcept C110039528 @default.
- W1489073803 hasConcept C124656256 @default.
- W1489073803 hasConcept C128838566 @default.
- W1489073803 hasConcept C140146324 @default.
- W1489073803 hasConcept C148230440 @default.
- W1489073803 hasConcept C153269930 @default.
- W1489073803 hasConcept C169896238 @default.
- W1489073803 hasConcept C189790780 @default.
- W1489073803 hasConcept C19689857 @default.
- W1489073803 hasConcept C199360897 @default.
- W1489073803 hasConcept C203659156 @default.
- W1489073803 hasConcept C2039508 @default.
- W1489073803 hasConcept C3845977 @default.
- W1489073803 hasConcept C41008148 @default.
- W1489073803 hasConcept C73314972 @default.
- W1489073803 hasConcept C80444323 @default.
- W1489073803 hasConcept C81721847 @default.
- W1489073803 hasConceptScore W1489073803C100481476 @default.
- W1489073803 hasConceptScore W1489073803C102993220 @default.
- W1489073803 hasConceptScore W1489073803C110039528 @default.
- W1489073803 hasConceptScore W1489073803C124656256 @default.
- W1489073803 hasConceptScore W1489073803C128838566 @default.
- W1489073803 hasConceptScore W1489073803C140146324 @default.
- W1489073803 hasConceptScore W1489073803C148230440 @default.
- W1489073803 hasConceptScore W1489073803C153269930 @default.
- W1489073803 hasConceptScore W1489073803C169896238 @default.
- W1489073803 hasConceptScore W1489073803C189790780 @default.
- W1489073803 hasConceptScore W1489073803C19689857 @default.
- W1489073803 hasConceptScore W1489073803C199360897 @default.
- W1489073803 hasConceptScore W1489073803C203659156 @default.
- W1489073803 hasConceptScore W1489073803C2039508 @default.
- W1489073803 hasConceptScore W1489073803C3845977 @default.
- W1489073803 hasConceptScore W1489073803C41008148 @default.
- W1489073803 hasConceptScore W1489073803C73314972 @default.
- W1489073803 hasConceptScore W1489073803C80444323 @default.
- W1489073803 hasConceptScore W1489073803C81721847 @default.
- W1489073803 hasLocation W14890738031 @default.
- W1489073803 hasOpenAccess W1489073803 @default.
- W1489073803 hasPrimaryLocation W14890738031 @default.
- W1489073803 hasRelatedWork W1489073803 @default.
- W1489073803 hasRelatedWork W1528900342 @default.
- W1489073803 hasRelatedWork W1586690077 @default.
- W1489073803 hasRelatedWork W1602563381 @default.
- W1489073803 hasRelatedWork W2025349135 @default.
- W1489073803 hasRelatedWork W2034962444 @default.
- W1489073803 hasRelatedWork W3014488736 @default.
- W1489073803 hasRelatedWork W4253098073 @default.
- W1489073803 hasRelatedWork W4254499454 @default.
- W1489073803 hasRelatedWork W4321439183 @default.
- W1489073803 isParatext "false" @default.
- W1489073803 isRetracted "false" @default.
- W1489073803 magId "1489073803" @default.
- W1489073803 workType "book-chapter" @default.