Font Size:
a
A
A
Keyword [tableau algorithm]
Result: 1 - 9 | Page: 1 of 1
1.
The Design Of Reasoning System Based On DL And Parallel Algorithm Research Of This System
2.
Study For Qualitative Spatial Logic Based On Direction Relation
3.
Temporal Fuzzy Description Logic Based On Time Interval Relationship And Its Reasoning
4.
Study On Extended Fuzzy Description Logics Based On Triangular Norms
5.
The Research On ABox Consistency Decision Algorithms For Description Logic SHIF And SHIQ
6.
Integrity Constraint Validation In OWL Ontologies
7.
Research On Dynamic Description Logics Based On DL-Lite
8.
The Extended Research Of Description Logic Under The Framework Of The Rough Set
9.
Research On Representation And Reasoning Of Fuzzy Spatio-Temporal Knowledge Based On Description Logics
<<First
<Prev Next>
Last>>
Jump to
