A proposed reasoning Algorithm using DLs in vectorial form

2015 
In this paper, we describe a new representative attribute derived from description logics formalism. This attribute constructed using subsumption hierarchy, is very meaningful and can help to perform a simplest form of reasoning Algorithm based on vectors comparing, which yields to an efficient description logics system. We use for experimentation the famous description logics human beings knowledge base. The aim is to proof that the same expansions can be achieved using simplest reasoning Algorithm.
    • Correction
    • Source
    • Cite
    • Save
    • Machine Reading By IdeaReader
    20
    References
    0
    Citations
    NaN
    KQI
    []