Matches in SemOpenAlex for { <https://semopenalex.org/work/W2161361246> ?p ?o ?g. }
- W2161361246 endingPage "645" @default.
- W2161361246 startingPage "640" @default.
- W2161361246 abstract "An attempt is made to integrate three well-known formalisms of knowledge representation: terminological logic in the tradition of KL-ONE, the temporal logic of Shoham, and Allen's interval calculus. Drawing on each of these sources, a temporal terminological logic is proposed which combines structural with temporal abstraction. A formal semantics is provided, and some hints are given for exploring the computational properties of reasoning in the formalism." @default.
- W2161361246 created "2016-06-24" @default.
- W2161361246 creator A5087334658 @default.
- W2161361246 date "1990-07-29" @default.
- W2161361246 modified "2023-09-29" @default.
- W2161361246 title "A Temporal Terminological Logic" @default.
- W2161361246 cites W1528419757 @default.
- W2161361246 cites W1567492448 @default.
- W2161361246 cites W1574344542 @default.
- W2161361246 cites W1575737483 @default.
- W2161361246 cites W159907047 @default.
- W2161361246 cites W1788564 @default.
- W2161361246 cites W1936956611 @default.
- W2161361246 cites W1974136241 @default.
- W2161361246 cites W2005678616 @default.
- W2161361246 cites W2130182605 @default.
- W2161361246 cites W2159525276 @default.
- W2161361246 cites W2161484642 @default.
- W2161361246 cites W2495631715 @default.
- W2161361246 cites W82278957 @default.
- W2161361246 hasPublicationYear "1990" @default.
- W2161361246 type Work @default.
- W2161361246 sameAs 2161361246 @default.
- W2161361246 citedByCount "36" @default.
- W2161361246 countsByYear W21613612462012 @default.
- W2161361246 countsByYear W21613612462013 @default.
- W2161361246 countsByYear W21613612462014 @default.
- W2161361246 countsByYear W21613612462015 @default.
- W2161361246 countsByYear W21613612462016 @default.
- W2161361246 countsByYear W21613612462017 @default.
- W2161361246 countsByYear W21613612462018 @default.
- W2161361246 countsByYear W21613612462019 @default.
- W2161361246 countsByYear W21613612462021 @default.
- W2161361246 countsByYear W21613612462022 @default.
- W2161361246 crossrefType "proceedings-article" @default.
- W2161361246 hasAuthorship W2161361246A5087334658 @default.
- W2161361246 hasConcept C102993220 @default.
- W2161361246 hasConcept C111472728 @default.
- W2161361246 hasConcept C11648818 @default.
- W2161361246 hasConcept C124304363 @default.
- W2161361246 hasConcept C138885662 @default.
- W2161361246 hasConcept C142362112 @default.
- W2161361246 hasConcept C153349607 @default.
- W2161361246 hasConcept C154945302 @default.
- W2161361246 hasConcept C161301231 @default.
- W2161361246 hasConcept C162670838 @default.
- W2161361246 hasConcept C171018156 @default.
- W2161361246 hasConcept C198008173 @default.
- W2161361246 hasConcept C199360897 @default.
- W2161361246 hasConcept C203659156 @default.
- W2161361246 hasConcept C25016198 @default.
- W2161361246 hasConcept C2524010 @default.
- W2161361246 hasConcept C33923547 @default.
- W2161361246 hasConcept C41008148 @default.
- W2161361246 hasConcept C4777664 @default.
- W2161361246 hasConcept C558565934 @default.
- W2161361246 hasConcept C73301696 @default.
- W2161361246 hasConcept C80444323 @default.
- W2161361246 hasConceptScore W2161361246C102993220 @default.
- W2161361246 hasConceptScore W2161361246C111472728 @default.
- W2161361246 hasConceptScore W2161361246C11648818 @default.
- W2161361246 hasConceptScore W2161361246C124304363 @default.
- W2161361246 hasConceptScore W2161361246C138885662 @default.
- W2161361246 hasConceptScore W2161361246C142362112 @default.
- W2161361246 hasConceptScore W2161361246C153349607 @default.
- W2161361246 hasConceptScore W2161361246C154945302 @default.
- W2161361246 hasConceptScore W2161361246C161301231 @default.
- W2161361246 hasConceptScore W2161361246C162670838 @default.
- W2161361246 hasConceptScore W2161361246C171018156 @default.
- W2161361246 hasConceptScore W2161361246C198008173 @default.
- W2161361246 hasConceptScore W2161361246C199360897 @default.
- W2161361246 hasConceptScore W2161361246C203659156 @default.
- W2161361246 hasConceptScore W2161361246C25016198 @default.
- W2161361246 hasConceptScore W2161361246C2524010 @default.
- W2161361246 hasConceptScore W2161361246C33923547 @default.
- W2161361246 hasConceptScore W2161361246C41008148 @default.
- W2161361246 hasConceptScore W2161361246C4777664 @default.
- W2161361246 hasConceptScore W2161361246C558565934 @default.
- W2161361246 hasConceptScore W2161361246C73301696 @default.
- W2161361246 hasConceptScore W2161361246C80444323 @default.
- W2161361246 hasLocation W21613612461 @default.
- W2161361246 hasOpenAccess W2161361246 @default.
- W2161361246 hasPrimaryLocation W21613612461 @default.
- W2161361246 hasRelatedWork W1481915355 @default.
- W2161361246 hasRelatedWork W1485990531 @default.
- W2161361246 hasRelatedWork W1518135487 @default.
- W2161361246 hasRelatedWork W1555563750 @default.
- W2161361246 hasRelatedWork W1669019556 @default.
- W2161361246 hasRelatedWork W1860690667 @default.
- W2161361246 hasRelatedWork W1978654873 @default.
- W2161361246 hasRelatedWork W2017661088 @default.
- W2161361246 hasRelatedWork W2057513565 @default.
- W2161361246 hasRelatedWork W2061725160 @default.
- W2161361246 hasRelatedWork W2104806676 @default.
- W2161361246 hasRelatedWork W2128204593 @default.
- W2161361246 hasRelatedWork W2142614470 @default.
- W2161361246 hasRelatedWork W2145465694 @default.
- W2161361246 hasRelatedWork W2159525276 @default.