Pages that link to "Item:Q5121281"

The following pages link to Metric Temporal Description Logics with Interval-Rigid Names (Q5121281):

Displaying 2 items.

• First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries (Q5870513) (← links)
• Towards World Identification in Description Logics (Q5882770) (← links)