Automated reasoning support for first-order ontologies


Baumgartner, P & Suchanek, F 2006, 'Automated reasoning support for first-order ontologies', in J.J. Alferes, J. Bailey, W. May, U. Schwertel (ed.), Principles and Practice of Semantic Web Reasoning: 4th International Workshop, PPSWR 2006, Springer, Berlin, pp. 18-32.



ANU Authors

Field of Research

  • Artificial Intelligence And Image Processing Not Elsewhere Classified

Updated:  17 September 2021 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers