If you made any changes in Pure these will be visible here soon.

Search results

  • 2022

    Extracting Subontologies from SNOMED CT

    Del-Pinto, W., Schmidt, R. A. & Gao, Y., 2022, The Semantic Web: ESWC 2022 Satellite Events - Proceedings. Groth, P., Rula, A., Schneider, J., Tiddi, I., Simperl, E., Alexopoulos, P., Hoekstra, R., Alam, M., Dimou, A., Tamper, M. & Tamper, M. (eds.). Springer Nature, p. 291-294 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13384 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2021

    Upwardly Abstracted Definition-Based Subontologies

    Alghamdi, G., Schmidt, R., Del-Pinto, W. & Gao, Y., 19 Oct 2021, (Accepted/In press) The Eleventh International Conference on Knowledge Capture .

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2020

    Signature-Based Abduction for Expressive Description Logics

    Koopmann, P., Del-Pinto, W., Tourret, S. & Schmidt, R. A., 12 Sep 2020, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning. Calvanese, D. & Erdem, E. (eds.). IJCAI Organization, p. 592–602 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • 2019

    ABox Abduction via Forgetting in ALC

    Del-Pinto, W. & Schmidt, R., 23 Jul 2019, Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-2019). 1 ed. AAAI Press, Vol. 33. p. 2768-2775 (Proceedings of the AAAI Conference on Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    File
    57 Downloads (Pure)
  • Extending Forgetting-Based Abduction Using Nominals

    Del-Pinto, W. & Schmidt, R., 2019, Frontiers of Combining Systems: FroCoS 2019. Springer Nature, (Lecture Notes in Computer Science; vol. 11715).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    File
    103 Downloads (Pure)