Finite Model Reasoning in ALCQI is ExpTime-complete

    2007.

    Cited by: 0|Bibtex|Views1|

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments