Récemment recherché

Aucun résultat trouvé

Étiquettes

Aucun résultat trouvé

Document

Aucun résultat trouvé

Accueil Écoles Thèmes

Connexion

Reasoning with Attributed Description Logics

Partager "Reasoning with Attributed Description Logics"

N/A

N/A

Protected

Année scolaire: 2022

Info

Protected

Academic year: 2022

Partager "Reasoning with Attributed Description Logics"

Copied!

12

0

0

12

0

0

Chargement.... (Voir le texte intégral maintenant)

Télécharger maintenant ( 12 Page )

Texte intégral

Références

Télécharger maintenant ( PDF - 12 Page - 257.87 KB )

Documents relatifs

Documents relatifs

The
Combined Complexity of Reasoning with Closed Predicates in
Description Logics

The Combined Complexity of Reasoning with Closed Predicates in Description Logics

13

0

0

Nonmonotonic Reasoning in Description Logics: Rational Closure for the ABox

Nonmonotonic Reasoning in Description Logics: Rational Closure for the ABox

16

0

0

Binary Absorption in Tableaux-Based Reasoning for Description Logics

Binary Absorption in Tableaux-Based Reasoning for Description Logics

11

0

0

PEAR: a Tool for Reasoning About Scenarios and Probabilities in Description Logics of Typicality (short paper)

PEAR: a Tool for Reasoning About Scenarios and Probabilities in Description Logics of Typicality (short paper)

10

0

0

Polynomial Disjunctive Datalog Rewritings of Instance Queries in Expressive Description Logics

Polynomial Disjunctive Datalog Rewritings of Instance Queries in Expressive Description Logics

13

0

0