FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3048586703> ?p ?o ?g. }

• W3048586703 endingPage "46" @default.
• W3048586703 startingPage "1" @default.
• W3048586703 abstract "In contrast to qualitative linear temporal logics, which can be used to state that some property will eventually be satisfied, metric temporal logics allow us to formulate constraints on how long it may take until the property is satisfied. While most of the work on combining description logics (DLs) with temporal logics has concentrated on qualitative temporal logics, there is a growing interest in extending this work to the quantitative case. In this article, we complement existing results on the combination of DLs with metric temporal logics by introducing interval-rigid concept and role names. Elements included in an interval-rigid concept or role name are required to stay in it for some specified amount of time. We investigate several combinations of (metric) temporal logics with A ℒ C by either allowing temporal operators only on the level of axioms or also applying them to concepts. In contrast to most existing work on the topic, we consider a timeline based on the integers and also allow assertional axioms. We show that the worst-case complexity does not increase beyond the previously known bound of 2-E xp S pace and investigate in detail how this complexity can be reduced by restricting the temporal logic and the occurrences of interval-rigid names." @default.
• W3048586703 created "2020-08-18" @default.
• W3048586703 creator A5020877951 @default.
• W3048586703 creator A5052618357 @default.
• W3048586703 creator A5072323649 @default.
• W3048586703 creator A5084964513 @default.
• W3048586703 creator A5086254817 @default.
• W3048586703 date "2020-08-11" @default.
• W3048586703 modified "2023-09-25" @default.
• W3048586703 title "Metric Temporal Description Logics with Interval-Rigid Names" @default.
• W3048586703 cites W1498203978 @default.
• W3048586703 cites W1555563750 @default.
• W3048586703 cites W1980167179 @default.
• W3048586703 cites W2003227046 @default.
• W3048586703 cites W2023808162 @default.
• W3048586703 cites W2026807253 @default.
• W3048586703 cites W2030263557 @default.
• W3048586703 cites W2039145913 @default.
• W3048586703 cites W2049696538 @default.
• W3048586703 cites W2051068608 @default.
• W3048586703 cites W2055092188 @default.
• W3048586703 cites W2073624887 @default.
• W3048586703 cites W2085533703 @default.
• W3048586703 cites W2086869611 @default.
• W3048586703 cites W2126458651 @default.
• W3048586703 cites W2139891885 @default.
• W3048586703 cites W2142614470 @default.
• W3048586703 cites W2148573667 @default.
• W3048586703 cites W2169114971 @default.
• W3048586703 cites W2225724109 @default.
• W3048586703 cites W2600455691 @default.
• W3048586703 cites W2736129000 @default.
• W3048586703 cites W2745704899 @default.
• W3048586703 cites W2798930216 @default.
• W3048586703 cites W2904535794 @default.
• W3048586703 cites W2965892829 @default.
• W3048586703 doi "https://doi.org/10.1145/3399443" @default.
• W3048586703 hasPublicationYear "2020" @default.
• W3048586703 type Work @default.
• W3048586703 sameAs 3048586703 @default.
• W3048586703 citedByCount "4" @default.
• W3048586703 countsByYear W30485867032021 @default.
• W3048586703 countsByYear W30485867032022 @default.
• W3048586703 countsByYear W30485867032023 @default.
• W3048586703 crossrefType "journal-article" @default.
• W3048586703 hasAuthorship W3048586703A5020877951 @default.
• W3048586703 hasAuthorship W3048586703A5052618357 @default.
• W3048586703 hasAuthorship W3048586703A5072323649 @default.
• W3048586703 hasAuthorship W3048586703A5084964513 @default.
• W3048586703 hasAuthorship W3048586703A5086254817 @default.
• W3048586703 hasConcept C104317684 @default.
• W3048586703 hasConcept C111472728 @default.
• W3048586703 hasConcept C112313634 @default.
• W3048586703 hasConcept C11413529 @default.
• W3048586703 hasConcept C114614502 @default.
• W3048586703 hasConcept C118615104 @default.
• W3048586703 hasConcept C127716648 @default.
• W3048586703 hasConcept C136119220 @default.
• W3048586703 hasConcept C138885662 @default.
• W3048586703 hasConcept C154945302 @default.
• W3048586703 hasConcept C162324750 @default.
• W3048586703 hasConcept C162670838 @default.
• W3048586703 hasConcept C167729594 @default.
• W3048586703 hasConcept C176217482 @default.
• W3048586703 hasConcept C185592680 @default.
• W3048586703 hasConcept C188082640 @default.
• W3048586703 hasConcept C189950617 @default.
• W3048586703 hasConcept C202444582 @default.
• W3048586703 hasConcept C21547014 @default.
• W3048586703 hasConcept C25016198 @default.
• W3048586703 hasConcept C2524010 @default.
• W3048586703 hasConcept C2776502983 @default.
• W3048586703 hasConcept C2778067643 @default.
• W3048586703 hasConcept C33923547 @default.
• W3048586703 hasConcept C41008148 @default.
• W3048586703 hasConcept C4777664 @default.
• W3048586703 hasConcept C55493867 @default.
• W3048586703 hasConcept C80444323 @default.
• W3048586703 hasConceptScore W3048586703C104317684 @default.
• W3048586703 hasConceptScore W3048586703C111472728 @default.
• W3048586703 hasConceptScore W3048586703C112313634 @default.
• W3048586703 hasConceptScore W3048586703C11413529 @default.
• W3048586703 hasConceptScore W3048586703C114614502 @default.
• W3048586703 hasConceptScore W3048586703C118615104 @default.
• W3048586703 hasConceptScore W3048586703C127716648 @default.
• W3048586703 hasConceptScore W3048586703C136119220 @default.
• W3048586703 hasConceptScore W3048586703C138885662 @default.
• W3048586703 hasConceptScore W3048586703C154945302 @default.
• W3048586703 hasConceptScore W3048586703C162324750 @default.
• W3048586703 hasConceptScore W3048586703C162670838 @default.
• W3048586703 hasConceptScore W3048586703C167729594 @default.
• W3048586703 hasConceptScore W3048586703C176217482 @default.
• W3048586703 hasConceptScore W3048586703C185592680 @default.
• W3048586703 hasConceptScore W3048586703C188082640 @default.
• W3048586703 hasConceptScore W3048586703C189950617 @default.
• W3048586703 hasConceptScore W3048586703C202444582 @default.
• W3048586703 hasConceptScore W3048586703C21547014 @default.
• W3048586703 hasConceptScore W3048586703C25016198 @default.

• next