Research output per year
Research output per year
- 14 results
Search results
-
2021
A comparative study of methods for a priori prediction of MCQ difficulty
Kurdi, G., Leo, J., Matentzoglu, N., Parsia, B., Sattler, U., Forge, S., Donato, G., Dowling, W. & Gromann, D., 2021, In: Semantic Web. 12, 3, p. 449-465 17 p.Research output: Contribution to journal › Article › peer-review
-
2020
A systematic survey of temporal requirements of bio-health ontologies
Leo, J., Matentzoglu, N., Sattler, U. & Parsia, B., 7 Aug 2020, In: Semantic Web. p. 657-688 4.Research output: Contribution to journal › Article › peer-review
Open AccessFile311 Downloads (Pure) -
Modular Structures and Atomic Decomposition in Ontologies
Del Vescovo, C., Horridge, M., Parsia, B., Sattler, U., Schneider, T. & Zhao, H., 25 Nov 2020, In: Journal of Artificial Intelligence Research. 69Research output: Contribution to journal › Article › peer-review
-
Principles of KLM-style Defeasible Description Logics
Britz, K., Casini, G., Meyer, T., Moodley, K., Sattler, U. & Varzinczak, I., 26 Aug 2020, (Accepted/In press) In: ACM Transactions on Computational Logic.Research output: Contribution to journal › Article › peer-review
-
2019
A Systematic Review of Automatic Question Generation for Educational Purposes
Kurdi, G., Leo, J., Parsia, B., Sattler, U. & Al-Emari, S., 21 Nov 2019, In: Journal of Artificial Intelligence in Education. p. 1 84 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Ontology-Based Generation of Medical, Multi-term MCQs
Leo, J., Kurdi, G., Matentzoglu, N., Parsia, B., Sattler, U., Forge, S., Donato, G. & Dowling, W., 25 Jan 2019, In: Journal of Artificial Intelligence in Education. 44 p.Research output: Contribution to journal › Article › peer-review
Open Access -
2017
OWL Reasoning: Subsumption Test Hardness and Modularity
Matentzoglu, N., Parsia, B. & Sattler, U., 8 Jun 2017, In: Journal of Automated Reasoning. 60, 4, p. 385–419Research output: Contribution to journal › Article › peer-review
Open AccessFile164 Downloads (Pure) -
2015
Ontology-Based Multiple Choice Question Generation
Alsubait, T., Parsia, B. & Sattler, U., 17 Nov 2015, In: Kuenstliche Intelligenz. p. 1-6 5 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile1227 Downloads (Pure) -
2013
Foundations and Challenges of Change and Evolution in Ontologies (Dagstuhl Seminar 12441)
Delgrande, J., Meyer, T. & Sattler, U., 2013, In: Dagstuhl Reports. 2, 10, p. 105-116 12 p.Research output: Contribution to journal › Article › peer-review
-
Toward cognitive support for OWL justifications
Horridge, M., Bail, S., Parsia, B. & Sattler, U., 2013, In: Knowledge Based Systems. 53, p. 66-79 14 p.Research output: Contribution to journal › Article › peer-review
-
2008
OWL 2: The next step for OWL
Grau, B. C., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P. & Sattler, U., Nov 2008, In: Web Semantics. 6, 4, p. 309-322 13 p.Research output: Contribution to journal › Article › peer-review
-
2007
Understanding and using the meaning of statements in a bio-ontology: Recasting the Gene Ontology in OWL
Aranguren, M. E., Bechhofer, S., Lord, P., Sattler, U. & Stevens, R., 2007, In: BMC Bioinformatics. 8, 57.Research output: Contribution to journal › Article › peer-review
-
Using OWL to model biological knowledge
Stevens, R., Egaña Aranguren, M., Wolstencroft, K., Sattler, U., Drummond, N., Horridge, M. & Rector, A., Jul 2007, In: International Journal of Human Computer Studies. 65, 7, p. 583-594 11 p.Research output: Contribution to journal › Article › peer-review
-
2004
Decidability of SHIQ with complex role inclusion axioms
Horrocks, I. & Sattler, U., Dec 2004, In: Artificial Intelligence. 160, 1-2, p. 79-104 25 p.Research output: Contribution to journal › Article › peer-review