1. sMart - a semantic matchmaking portal for electronic markets;Agarwal,2005
2. On the implementation of a fuzzy DL solver over infinite-valued Product logic with SMT solvers;Alsinet,2013
3. Conceptual querying through ontologies;Andreasen;Fuzzy Sets Syst.,2009
4. F. Baader, S. Borgwardt, R.P. naloza
5. The Description Logic Handbook: Theory, Implementation, and Applications;Baader,2003