The following pages link to (Q5465445):
Displaying 19 items.
- Satisfiability of \(\operatorname{ECTL}^\ast\) with constraints (Q269503) (← links)
- Querying incomplete information in RDF with SPARQL (Q286403) (← links)
- Tractable extensions of the description logic \({\mathcal{EL}}\) with numerical datatypes (Q438566) (← links)
- Runtime verification using the temporal description logic \(\mathcal{ALC}\)-LTL revisited (Q472810) (← links)
- Combining interval-based temporal reasoning with general TBoxes (Q814545) (← links)
- \({\mathcal E}\)-connections of abstract description systems (Q814594) (← links)
- Combining event calculus and description logic reasoning via logic programming (Q831926) (← links)
- An automata-theoretic approach to constraint LTL (Q870361) (← links)
- A tableau algorithm for description logics with concrete domains and general TBoxes (Q877890) (← links)
- Data complexity of query answering in expressive description logics via tableaux (Q945056) (← links)
- Fuzzy description logics with general t-norms and datatypes (Q1043321) (← links)
- On similarity in fuzzy description logics (Q1697333) (← links)
- Reasoning within fuzzy OWL 2 EL revisited (Q1795363) (← links)
- On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions (Q2341257) (← links)
- Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge (Q4957188) (← links)
- Description logic on image graphs (Q5114294) (← links)
- Linking Data to Ontologies (Q5445729) (← links)
- Tractable Extensions of the Description Logic $\cal EL$ with Numerical Datatypes (Q5747751) (← links)
- First steps towards taming description logics with strings (Q6545544) (← links)
