Order-Oriented Reasoning in Description Logics

  • Veronika Vaneková
  • Peter Vojtáš
Part of the Advances in Intelligent and Soft Computing book series (AINSC, volume 67)


User preference is often a source of uncertainty in web search. We propose an order-oriented description logic suited especially to represent user preference. Concepts are interpreted as preorders of individuals from the domain. We redefine reasoning tasks to reflect order-oriented approach and we present an algorithm for order instance problem in description logic without aggregation. Furthermore, we describe top-k retrieval which allows us to find the best objects with respect to user preference concepts.


Preference Preorder Description Logic 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Vaneková, V., Vojtáš, P.: A Description Logic with Concept Instance Ordering and Top-k Restriction. In: Kiyoki, Y., Tokuda, T., Jaakkola, H., Chen, X., Yoshida, N. (eds.) Information Modelling and Knowledge Bases XX. Frontiers in Artificial Intelligence and Applications, vol. 190. IOS Press, Amsterdam (2009)Google Scholar
  2. 2.
    Gurský, P., Vaneková, V., Pribolová, J.: Fuzzy User Preference Model for Top-k Search. In: Proceedings of IEEE World Congress on Computational Intelligence (WCCI), Hong Kong (2008)Google Scholar
  3. 3.
    Gurský, P., Vojtáš, P.: On top-k search with no random access using small memory. In: Atzeni, P., Caplinskas, A., Jaakkola, H. (eds.) ADBIS 2008. LNCS, vol. 5207, pp. 97–111. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  4. 4.
    Fagin, R., Lotem, A., Naor, M.: Optimal aggregation algorithms for middleware. In: PODS 2001: Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2001)Google Scholar
  5. 5.
    Kendall, M., Gibbons, J.D.: Rank Correlation Methods. A Charles Griffin Title (1990)Google Scholar
  6. 6.
    Michel, Ch.: Poset Representation and Similarity Comparisons of Systems in IR. In: Proceedings of the 26th Conference ACM SIGIR Workshop on Mathematical/Formal Methods in IR (2003)Google Scholar
  7. 7.
    Baader, F., Sattler, U.: Description logics with aggregates and concrete domains. Information Systems 28(8) (2003)Google Scholar
  8. 8.
    Patel-Schneider, P.F., Hayes, P., Horrocks, I. (eds.): OWL 2 Web Ontology Language: Profiles. W3C Recommendation (2008),
  9. 9.
    Straccia, U.: Fuzzy \(\cal{ALC}\) with Fuzzy Concrete Domains. In: Proceedings of the 2005 International Workshop on Description Logics (DL 2005), CEUR Workshop Proceedings, vol. 147 (2005)Google Scholar
  10. 10.
    Pound, J., Stanchev, L., Toman, D., Weddell, G.E.: On Ordering and Indexing Metadata for the Semantic Web. In: Proceedings of the 21st International Workshop on Description Logics (DL 2008), CEUR Workshop Proceedings, vol. 353 (2008)Google Scholar
  11. 11.
    Kang, D., Xu, B., Lu, J., Li, Y.: On Ordering Descriptions in a Description Logic. In: Proceedings of the 2006 International Workshop on Description Logics (DL 2006), CEUR Workshop Proceedings, vol. 189 (2006)Google Scholar
  12. 12.
    Ragone, A., Straccia, U., Bobillo, F., Di Noia, T., Di Sciascio, E.: Fuzzy Description Logics for Bilateral Matchmaking in e-Marketplaces. In: Proceedings of the 21st International Workshop on Description Logics, DL 2008 (2008)Google Scholar
  13. 13.
    Straccia, U.: Towards Top-k Query Answering in Description Logics: the case of DL-Lite. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol. 4160, pp. 439–451. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  14. 14.
    Lukasiewicz, T., Straccia, U.: Top-K Retrieval in Description Logic Programs under Vagueness for the Semantic Web. In: Prade, H., Subrahmanian, V.S. (eds.) SUM 2007. LNCS (LNAI), vol. 4772, pp. 16–30. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  15. 15.
    Gurský, P., Horváth, T., Jirásek, J., Novotný, R., Pribolová, J., Vaneková, V., Vojtáš, P.: Knowledge Processing for Web Search - An Integrated Model and Experiments. Scalable Computing: Practice and Experience 9, 51–59 (2008)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Veronika Vaneková
    • 1
  • Peter Vojtáš
    • 2
  1. 1.Institute of Computer SciencePavol Jozef Šafárik UniversityKošiceSlovakia
  2. 2.Faculty of Mathematics and PhysicsCharles UniversityPragueCzech Republic

Personalised recommendations