Research outputs
2015
Ruttkamp-Bloem, E., Casini, G., Meyer, T.: A Non-Classical Logical Foundation for Naturalised Realism. In: Logica Yearbook 2014. pp. -. (2015)
De Vries M, Gerber, A., Van der Merwe A: The enterprise engineering domain. In: Advances in Enterprise Engineering IX. pp. -. Springer (2015)
2014
Gerber, A., Eardley, C., Morar, N.: An Ontology-based Key for Afrotropical Bees. In: Frontiers in Artificial Intelligence and Applications. pp. 277-288. IOS Press (2014)
de Vries, M., Gerber, A., van der Merwe, A.: The Nature of the Enterprise Engineering Discipline. In: . pp. -. LNBIP Springer (2014)
2013
Richard Booth, Meyer, T., Varzinczak, I.: A Propositional Typicality Logic for Extending Rational Consequence. In: Trends in Belief Revision and Argumentation Dynamics. pp. 1-31. King's College Publications (2013)
Crichton, R., Moodley, D., Pillay, A., Gakuba, R., Seebregts, C.: An Architecture and Reference Implementation of an Open Health Information Mediator: Enabling Interoperability in the Rwandan Health Information Exchange. In: Foundations of Health Information Engineering and Systems, Revised and Selected Papers, Lecture Notes in Computer Science Volume 7789. pp. 87-104. Springer Berlin Heidelberg (2013)
Moodley, D., Meyer, T., Seebregts, C., Pillay, A.: An Ontology for Regulating eHealth Interoperability in Developing African Countries. In: J. Gibbons and W. MacCaull (Eds.): FHIES 2013, LNCS 8315. pp. 107-124. Springer Berlin Heidelberg (2013)
2012
Moodley, D., Pillay, A., Seebregts, C.: Position Paper: Researching and Developing Open Architectures for National Health Information Systems in Developing African Countries. In: Foundations of Health Informatics Engineering and Systems, Revised and Selected Papers, Lecture Notes in Computer Science Volume 7151. pp. 129-139. Springer (2012)
2011
Booth, R., Meyer, T.: Belief Change. In: Logic and Philosophy Today, Vol. 1, Studies in Logic, Vol. 29. pp. 385-422. College Publications (2011)
2017
Rens, G., Moodley, D.: A hybrid POMDP-BDI agent architecture with online stochastic planning and plan caching. Cognitive Systems Research, Vol. 43, pp. 1-20: Elsevier B.V. (2017)
Kroon, S.Yoon, M., Bekker, J.: New reinforcement learning algorithm for robot soccer. Orion, Vol. 33, No. 1, pp. 1-20 South Africa: Operations Research Society of South Africa (ORSSA) (2017)
2016
Knut Hinkelmann, Gerber, A., Dimitris Karagiannis, Barbara Thoenssen, Alta van der Merwe: A new paradigm for the continuous alignment of business and IT: Combining enterprise architecture modelling and enterprise ontology. Computers in Industry, Vol. 79: Sciencedirect (2016)
2015
van der Merwe, B.Visser, W.C., van der Merwe, H.Nel, S.E.A., Tkachuk, O.: Environment Modeling Using Runtime Values for JPF-Android. ACM SIGSOFT Software Engineering Notes, Vol. 40, No. 6, pp. 1-5 New York, USA: ACM (2015)
Fischer, B.Greene, G.J.: Interactive tag cloud visualization of software version control repositories. Software Visualization (VISSOFT), pp. 56-65 (2015)
Ruttkamp-Bloem, E.: Repositioning Realism. Philosophia Scientiae, Vol. 19, No. 1, pp. 85-98 PARIS FRANCE: KIME EDITIONS (2015)
Knut Hinkelmann, Gerber, A., Dimitris Karagiannis, Barbara Thoenssen, Alta van der Merwe,: A new paradigm for the continuous alignment of business and IT: Combining enterprise architecture modelling and enterprise ontology.. Computers in Industry: Elsevier (2015)
James Lapalme, Gerber, A.Aurona Gerber, Alta Van der Merwe, John Zachman, Marne De Vries: Exploring the future of enterprise architecture: A Zachman perspective. Computers in Industry: Elsevier (2015)
Wissing, D, Pienaar, W, van Niekerk, D: Palatalisation of /s/ in Afrikaans. STELLENBOSCH PAPERS IN LINGUISTICS, Vol. 48, No. 3, pp. 137-158 South Africa: University of Stellenbosch (2015)
Alta van der Merwe, Rennie Naidoo, Gerber, A.Aurona Gerber: Understanding familiarization processes with Design Science Research: A social representation analysis.. SACJ, Vol. 65 (2015)
2014
Gerber, M.C., Gerber, A., van der Merwe, A: An Analysis of Fundamental Concepts in the Conceptual Framework Using Ontology Technologies.. SAJEMS - The South African Journal of Economic and Management Sciences, Vol. 17, pp. 396-411, 4th edition. (2014)
Rens, G., Meyer, T., Lakemeyer, G.: SLAP: Specification logic of actions with probability. Journal of Applied Logic, Vol. 12, No. 2, pp. 128-150: Elsevier (2014)
2013
Casini, G., Straccia, U.: Defeasible Inheritance-based Description Logics. Journal of Artificial Intelligence Reasearch, Vol. 48, pp. 415-473: AAAI Press (2013)
Marne de Vries, Gerber, A., Alta van der Merwe: A framework for the identification of reusable processes. Enterprise Information Systems, Vol. 7, No. 1 (2013)
Klarman, S., Gutierrez-Basulto, V.: Description Logics of Context. Journal of Logic and Computation (2013)
2012
Meyer, T.Alexander Ferrein: A brief overview of Artificial Intelligence in South Africa. AI Magazine, Vol. 33, No. 1, pp. 99-103 (2012)
Booth, R., Meyer, T., Sombattheera, C.: A General Family of Preferential Belief Removal Operators. Journal of Philosophical Logic, Vol. 41, No. 4, pp. 711-733 (2012)
Moodley, D., Simonis, I., Tapamo, J. R.: An architecture for managing knowledge and system dynamism in the worldwide Sensor Web. International Journal of Semantic Web and Information Systems: Special issue on Semantics-enhanced Sensor Networks, Internet of Things and Smart Devices, Vol. 8, No. 1, pp. 64-88 (2012)
2011
Britz, K., Heidema, J., Varzinczak, I.: Constrained Consequence. Logica Universalis, Vol. 5, No. 2, pp. 327-350 (2011)
Halland, K., Britz, K., Gerber, A.: Investigations into the use of SNOMED CT to enhance an Open-MRS health information system. South African Computer Journal, Vol. 47, pp. 33-46 (2011)
Booth, R., Meyer, T., Varzinczak, I., Wassermann, R.: On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic. Journal of Artificial Intelligence Research, Vol. 42, pp. 31-53 (2011)
Britz, K., Meyer, T., Varzinczak, I.: Preferential Reasoning for Modal Logic. Electronic Notes in Theoretical Computer Science, Vol. 278, pp. 55-69 (2011)
2016
Greene, GJ, Fischer, B.: CVExplorer: Identifying Candidate Developers by Mining and Exploring Their Open Source Contributions. In: Automated Software Engineering. pp. 804-809, ACM (2016)
Rens, G., Meyer, T., Casini, G.: On Revision of Partially Specified Convex Probabilistic Belief Bases. In: European Conference on Artificial Intelligence (ECAI). pp. 921-929, IOS Press (2016)
de Villiers, H.Stiaan Wiehman: Semantic Segmentation of Bioimages Using Convolutional Neural Networks. In: 2016 International Joint Conference on Neural Networks (IJCNN). pp. 624-631, IEEE (2016)
Kleynhans, N, Hartman, W, van Niekerk, D, van Heerden, C, Schwartz, R: Code-switched English Pronunciation Modeling for Swahili Spoken Term Detection. In: Workshop on Spoken Language Technologies for Under-Resourced Languages. pp. 128-135, Elsevier (2016)
Kroon, S.Le Roux, PB, Bester, WHK: DSaaS: A cloud Service for Persistent Data Structures. In: CLOSER, 6th International Conference on Cloud Computing and Services Science. pp. 37-48, SCITEPRESS (2016)
van der Merwe, B.: Analyzing Matching Time Behavior of Backtracking Regular Expression Matchers by Using Ambiguity of NFA. . In: 21st International Conference on Implementation and Application of Automata. pp. 322-334, Springer International Publishing (2016)
2015
Kroon, S.Nienaber, S., Booysen, M.J.: A Comparison of Low-Cost Monocular Vision Techniques for Pothole Distance Estimation. In: IEEE Symposium Series on Computational Intelligence: IEEE Symposium on Computational Intelligence in Vehicles and Transportation Systems. pp. 419-426, IEEE (2015)
Modipa, T., Davel, M.: Predicting vowel substitution in code-switched speech. In: Pattern Recognition Association of South Africa and Robotics and Mechatronics International Conference (PRASA-RobMech). pp. 154-159, IEEE (2015)
Badenhorst, J., Davel, M.: Synthetic triphones from trajectory-based feature distributions. In: Pattern Recognition Association of South Africa and Robotics and Mechatronics International Conference (PRASA-RobMech). pp. 118-122, IEEE (2015)
Oluwapelumi, G., Davel, M.: Text-based Language Identification of Multilingual Names. In: Pattern Recognition Association of South Africa and Robotics and Mechatronics International Conference (PRASA-RobMech). pp. 166-171, IEEE (2015)
Anitta Thomas, Gerber, A., Alta van der Merwe: Visual Syntax of UML Class and Package Diagram Constructs as an Ontology. In: KEOD 2015 the the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management. (2015)
Casini, G., Meyer, T., Moodley, K., Varzinczak, I., Sattler, U.: Introducing Defeasibility into OWL Ontologies. In: The International Semantic Web Conference. Springer (2015)
Rens, G., Meyer, T.: A New Approach to Probabilistic Belief Change. In: International Florida AI Research Society Conference. pp. 582-587, AAAI Press (2015)
Rens, G., Meyer, T., Lakemeyer, G.: A Modal Logic for the Decision-Theoretic Projection Problem. In: International Conference on Agents and Artificial Intelligence (ICAART) Vol. 2. pp. 5-16, SCITEPRESS DIGITAL LIBRARY (2015)
Rens, G., Meyer, T.: Hybrid POMDP-BDI: An Agent Architecture with Online Stochastic Planning and Desires with Changing Intensity Levels. In: International Conference on Agents and Artificial Intelligence (ICAART) Vol. 1. pp. 5-14, SCITEPRESS DIGITAL LIBRARY (2015)
Rens, G.: Speeding up Online POMDP Planning: Unification of Observation Branches by Belief-state Compression via Expected Feature Values. In: International Conference on Agents and Artificial Intelligence (ICAART) Vol. 2. pp. 241-246, SCITEPRESS DIGITAL LIBRARY (2015)
Keet, M., Ongoma, N.: Temporal Attributes: Status and Subsumption. In: Asia-Pacific Conference on Conceptual Modelling. pp. 61-70, Australian Computer Society Inc (2015)
Adeleke, J., Moodley, D.: An Ontology for Proactive Indoor Environmental Quality Monitoring and Control. In: The 2015 Annual Conference of the South African Institute of Computer Scientists and Information Technologists (SAICSIT '15). ACM (2015)
Paula Kotzé, Alta van der Merwe, Gerber, A.Aurona Gerber: Design Science Research as Research Approach in Doctoral Studies. In: AMCIS 2015, the 2015 Americas Conference on Information Systems. AIS (2015)
Booth, R., Casini, G., Meyer, T., Varzinczak, I.: On the Entailment Problem for a Logic of Typicality. In: International Joint Conference on Artificial Intelligence (IJCAI) 2015. AAAI (2015)
Booth, R.: On the Entailment Problem for a Logic of Typicality. In: IJCAI 2015. AAAI (2015)
Britz, A., Klarman, S.: Ontology learning from interpretations in lightweight description logics. In: 25th International Conference on Inductive Logic Programming. Springer LNAI (2015)
Mathinus C. Gerber, Gerber, A.Aurona Gerber, Alta van der Merwe: The Conceptual Framework for Financial Reporting as a Domain Ontology. In: AMCIS 2015, the 2015 Americas Conference on Information Systems. AIS (2015)
Booth, R., Casini, G., Meyer, T., Varzinczak, I.: What Does Entailment for PTL Mean?. In: Commonsense 2015. AAAI (2015)
2014
Price, C., Moodley, D., Bezuidenhout, C.N.: Using agent-based simulation to explore sugarcane supply chain transport complexities at a mill scale. In: 43rd Annual Operations Research Society of South Africa Conference. pp. 88-96, Operations Research Society of South Africa (2014)
Meyer, T., Moodley, K., Sattler, U.: Practical Defeasible Reasoning for Description Logics. In: European Starting AI Researcher Symposium. pp. 191-200, IOS Press (2014)
Rens, G., Meyer, T., Lakemeyer, G.: A Logic for Specifying Stochastic Actions and Observations. In: Intl. Symposium on Foundations of Information and Knowledge Systems (FoIKS). pp. 305-323, Springer-Verlag (2014)
Brandt, P., Moodley, D., Pillay, A., Seebregts, C., de Oliveira, T.: An Investigation of Classification Algorithms for Predicting HIV Drug Resistance Without Genotype Resistance Testing. In: Third International Symposium on Foundations of Health Information Engineering and Systems. pp. 236-253, Springer Berlin Heidelberg (2014)
Moodley, D., Seebregts, C., Pillay, A., Meyer, T.: An ontology-driven modeling platform for regulating eHealth interoperability in low resource settings. In: Foundations of Health Information Engineering and Systems, Revised and Selected Papers, Lecture Notes in Computer Science Volume 7789. pp. 107-124, Springer-Verlag (2014)
Klarman, S., Meyer, T.: Querying Temporal Databases via OWL 2 QL. In: International Conference on Web Reasoning and Rule Systems (RR-14). (2014)
Casini, G., Meyer, T., Moodley, K., Nortjé, R.: Relevant Closure: A New Form of Defeasible Reasoning for Description Logics. In: JELIA 2014. pp. 92-106, Springer - LNAI vol.8761 (2014)
2013
Casini, G.Straccia, U.: Towards Rational Closure for Fuzzy Logic: The Case of Propositional Godel Logic. In: LPAR-19. Springer Verlag (2013)
Gerber, A., van der Merwe, A.J., Bayes, K: An Investigation into UML Case Tool Support for the Zachman Framework. In: ES 2013 - the first international conference on Enterprise Systems. IEEE Xplore (2013)
Mudaly, T., Moodley, D., Pillay, A., Seebregts, C.: Architectural Frameworks for Developing National Health Information Systems in Low and Middle Income Countries. In: Proceedings of the First IEEE International Conference on Enterprise Systems (ES 2013), Cape Town, South Africa. IEEE (2013)
Gerber, A., van der Merwe, A.J., van der Linde, J: Managerial EA Decisions on Software Development Employees.. In: ES 2013 - the first international conference on Enterprise Systems. IEEE Xplore (2013)
de Vries, M, Gerber, A., van der Merwe, A.J.: Towards an enterprise evolution contextualisation model.. In: ES 2013 - the first international conference on Enterprise Systems. IEEE Xplore (2013)
Coetzer, W., Moodley, D., Gerber, A.: A Case-Study of Ontology-Driven Semantic Mediation of Flower-Visiting Data from Heterogeneous Data-Stores in Three South African Natural History Collections. In: The Semantic Web: ESWC 2013 Satellite Events. pp. 87-100, Springer (2013)
Khan, Z., Keet, M.: Addressing Issues in Foundational Ontology Mediation. In: 5th International Conference on Knowledge Engineering and Ontology Development (KEOD'13). (2013)
Rens, G., Ferrein, A.: Belief-node Condensation for Online POMDP Algorithms. In: IEEE AFRICON 2013. pp. 1 270-1 274, (2013)
Britz, K., Varzinczak, I.: Defeasible Modalities. In: 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK). pp. 49-60, (2013)
Klarman, S.: Practical Querying of Temporal Data via OWL 2 QL and SQL:2011 (short paper). In: Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-19). (2013)
Klarman, S., Meyer, T.: Prediction and Explanation over DL-Lite Data Streams. In: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-19). (2013)
Nortjé, R., Britz, A., Meyer, T.: Reachability modules for the Description Logic SRIQ. In: LPAR. (2013)
Britz, A., Labuschagne, W., Heidema, J.: Supraclassical consequence relations tolerating rare counter-examples. In: Australasian Joint Conference on Artificial Intelligence. pp. 326-337, Springer (2013)
Khan, Z., Keet, M.: The foundational ontology library ROMULUS. In: 3rd International Conference on Model & Data Engineering (MEDI’13). (2013)
Khan, Z., Keet, M.: Toward semantic interoperability with linked foundational ontologies in ROMULUS. In: Seventh International Conference on Knowledge Capture (KCAP'13). (2013)
2012
Moodley, K., Meyer, T., Varzinczak, I.: A Defeasible Reasoning Approach for Description Logic Ontologies. In: South African Institute for Computer Scientists and Information Technologists (SAICSIT). pp. 69-78, (2012)
Rens, G., Lakemeyer, G., Meyer, T.: A Logic for Specifying Agent Actions and Observations with Probability. In: Kersting, K., Toussaint, M. (Eds.), Sixth Starting AI Researchers' Symposium (STAIRS 2012), Frontiers in Artificial Intelligence and Applications, Vol. 241. pp. 252-263, (2012)
Casini, G., Gerber, A., Meyer, T.: A Note on the Translation of Conceptual Data Models into Description Logics: Disjointness and Covering Assumptions. In: South African Institute for Computer Scientists and Information Technologists (SAICSIT). (2012)
Halland, K., Britz, K.: ABox abduction in ALC using a DL tableau. In: SAICSIT 2012: Proceedings of the 2012 Annual Research Conference of the South African Institute for Computer Scientists and Information Technologists, 1-3 October 2012, Centurion, South Africa. (2012)
Gerber, A., Saurabh Sinha, Alta van der Merwe, Moshe Kam: Accreditation of Academic Programmes in Computing in South Africa . In: 4th Software Engineering Colloquium (SE 2012). (2012)
Josephat Kinyondo, Judy van Biljon, Gerber, A.: An Assessment of Open Source Promotion in addressing ICT Acceptance Challenges in Tanzania. In: IST Africa 2012. (2012)
Rennie Naidoo, Gerber, A., Alta van der Merwe: An Exploratory Survey of Design Science Research among South African Computing Scholars. In: South African Institute for Computer Scientists and Information Technologists: SAICSIT 2012, Centurion, Tshwane. October 1-3.. (2012)
Crichton, R., Moodley, D., Pillay, A., Gakuba, R., Seebregts, C.: An Interoperability Architecture for the Health Information Exchange in Rwanda. In: . (2012)
Keet, M.: Detecting and Revising Flaws in OWL Object Property Expressions. In: 18th International Conference on Knowledge Engineering and Knowledge Management (EKAW'12), A. ten Teije et al. (Eds.). Oct 8-12, Galway, Ireland. Lecture Notes in Artificial Intelligence LNAI 7603. (2012)
Britz, K., Meyer, T., Varzinczak, I.: Normal Modal Preferential Consequence. In: Proceedings of the 25th Australasian Joint Conference on Artificial Intelligence. pp. 505-516, (2012)
Khan, Z., Keet, M.: ONSET: Automated Foundational Ontology. In: 18th International Conference on Knowledge Engineering and Knowledge Management (EKAW'12). (2012)
Booth, R., Meyer, T., Varzinczak, I.: PTL: A Propositional Typicality Logic. In: Proceedings of the 13th European Conference on Logics in Artificial Intelligence (JELIA). pp. 107-119, (2012)
Alberts, R., Fogwill, T., Keet, M.: Several Required OWL Features for Indigenous Knowledge Management Systems. In: 7th Workshop on OWL: Experiences and Directions (OWLED'12). (2012)
Josephat Kinyondo, Judy van Biljon, Gerber, A.: The potential role of open source software in overcoming digital poverty. In: 6th IDIA Conference: Alleviating Digital Poverty with ICT innovation in emerging economies - Will ICT Rights make a difference?. (2012)
2011
Meyer, T., Varzinczak, I.: A Logic-Based Perspective on Agent Reconfiguration: Preliminary Report. In: IEEE Africon. (2011)
Moodley, D., Tapamo, J. R.: A semantic infrastructure for a Knowledge Driven Sensor Web. In: Proceedings of the 4th International Workshop on Semantic Sensor Networks 2011 (SSN11), 23 October 2011,Bonn, Germany, A workshop of the 10th International Semantic Web Conference (ISWC 2011). (2011)
Gous, H., Gard, J., Gerber, A., Schutte, C.: Business architecture for inter-organisational innovation networks: A case study comparison from South Africa and Germany. In: ICE 2011. (2011)
Hajek, M., Singh, Y.: Medical AI - HIV/AIDS Treatment Management System. In: Beyond AI: Interdisciplinary Aspects of Artificial Intelligence. (2011)
Moodley, K., Meyer, T., Varzinczak, I.: Root Justifications for Ontology Repair. In: Fifth International Conference on Web Reasoning and Rule Systems. pp. 275-280, (2011)
Britz, K., Meyer, T., Varzinczak, I.: Semantic Foundation for Preferential Description Logics. In: Proceedings of the 24th Australasian Joint Conference on Artificial Intelligence. pp. 491-500, (2011)
2016
Rens, G.: A Stochastic Belief Change Framework with an Observation Stream and Defaults as Expired Observations. In: International Workshop on Defeasible and Ampliative Reasoning (DARe). (2016)
Rens, G.Gabriele Kern-Isberner: An Approach to Qualitative Belief Change Modulo Ontic Strength. In: International Workshop on Defeasible and Ampliative Reasoning (DARe). (2016)
Greene, GJ, Fischer, B.: Single-Focus Broadening Navigation in Concept Lattices. In: Concept Discovery in Unstructured Data. pp. 32-42, (2016)
Rens, G.: On Stochastic Belief Revision and Update and their Combination. In: Sixteenth International Workshop on Non-Monotonic Reasoning (NMR). pp. 123-132, (2016)
Britz, A., Varzinczak, I.: Preferential modalities revisited. In: 16th International Workshop on Non-monotonic Reasoning. (2016)
Rens, G., Meyer, T., Casini, G.: Revising Incompletely Specified Convex Probabilistic Belief Bases. In: Sixteenth International Workshop on Non-Monotonic Reasoning (NMR). pp. 133-142, (2016)
Harmse, H., Britz, A., Gerber, A.: Armstrong Relations for Ontology Design and Evaluation. In: DL 2016, the International Workshop on Description Logics.. (2016)
van der Merwe, B.: The Output Size Problem for String-to-Tree Transducers. In: 4th International Workshop on Trends in Tree Automata and Tree Transducers. pp. 43-50, (2016)
2015
Britz, A., Klarman, S.: Towards unsupervised ontology learning from data. In: Workshop on Defeasible and Ampliative Reasoning. (2015)
2014
Harmse, H., Britz, A., Gerber, A., Moodley, D.: Scenario Testing using Formal Ontologies. In: ONTO-COM-ODISE 2014: Ontologies in Conceptual Modeling and Information Systems Engineering. (2014)
Moodley, K., Meyer, T., Sattler, U.: DIP: A Defeasible-Inference Platform for OWL Ontologies. In: International Workshop on Description Logics. pp. 671-683, (2014)
Ongoma, N., Keet, M., Meyer, T.: Transition Constraints for Temporal Attributes. In: International Workshop on Description Logics. pp. 684-695, (2014)
Klarman, S., Meyer, T.: Complexity of Temporal Query Abduction in DL-Lite. In: International Workshop on Description Logics (DL-14). (2014)
Halland, K., Britz, A., Klarman, S.: TBox abduction in ALC using a DL tableau. In: DL 2014: International Workshop on Description Logics, Vienna, Austria, July 2014. (2014)
Britz, A., Varzinczak, I.: Towards a Theory of Dilation. In: PRUV 2014: 1st Workshop on Reasoning about Preferences, Uncertainty, and Vagueness, Vienna, Austria, 23-24 July 2014. (2014)
2013
Harmse, H., Britz, A., Gerber, A.: Scenario Testing on UML Class Diagrams using Description Logic. In: Logics and Reasoning for Conceptual Models Proceedings. (2013)
Coetzer, W., Moodley, D., Gerber, A.: A Case-Study of Ontology-Driven Semantic Mediation of Flower-Visiting Data from Heterogeneous Data-Stores in Three South African Natural History Collections. In: S4BioDiv 2013. Semantics for Biodiversity. Proceedings of the first international Workshop on Semantics for Biodiversity. Montpellier, France, May 27, 2013.. (2013)
Coetzer, W., Moodley, D., Gerber, A.: Implementing a semantic mediator to integrate flower-visiting records from South African natural history museums. In: Biodiversity Information Standards (TDWG) Annual Conference. (2013)
Nortjé, R., Britz, A., Meyer, T.: Module-theoretic properties of reachability modules for SRIQ. In: Description Logic Workshop 2013 (DL2013). (2013)
Casini, G., Mosca, A.: Non-monotonic reasoning in conceptual modeling and ontology design: A proposal.. In: ONTO.COM 2013. pp. 361-370, (2013)
Rens, G., Meyer, T., Lakemeyer, G.: On the Logical Specification of Probabilistic Transition Models. In: Eleventh International Symposium on Logical Formalizations of Commonsense Reasoning (COMMONSENSE 2013). (2013)
Britz, A., Casini, G., Meyer, T., Varzinczak, I.: Preferential Role Restrictions. In: DL 2013. (2013)
Casini, G., Meyer, T., Moodley, K., Varzinczak, I.: Towards Practical Defeasible Reasoning for Description Logics. In: DL 2013. (2013)
2012
Nortjé, R., Britz, K., Meyer, T.: A normal form for hypergraph-based module extraction for SROIQ. In: 2012 Australasian Ontology Workshop, Sydney, Australia. (2012)
Casini, G.: A Preferential Proposal for Contextual Reasoning. In: NMR 2012: Proceedings of the 14th International Workshop on Non-Monotonic Reasoning, 8--10 June 2012, Rome, Italy. (2012)
Moodley, K., Meyer, T., Varzinczak, I.: A Protege Plug-in for Defeasible Reasoning. In: Twenty Fifth International Workshop on Description Logics. (2012)
Britz, K., Varzinczak, I.: Defeasible Modes of Inference: A Preferential Perspective. In: Proceedings of the 14th International Workshop on Non-Monotonic Reasoning, 8-10 June 2012, Rome, Italy. (2012)
Casini, G., Mosca, A.: Defeasible reasoning in ORM2. In: . (2012)
Casini, G., Straccia, U.: Lexichographic Closure for Defeasible Description Logics.. In: AOW 2012. (2012)
Halland, K., Britz, K.: Naive ABox abduction in ALC using a DL tableau. In: Proceedings of the 25th International Workshop on Description Logics, 7-10 June 2012, Rome, Italy, volume 846 CEUR Workshop Proceedings. (2012)
Lombard, N., Gerber, A., van der Merwe, A: Using Formal Ontologies in the Development of Countermeasures for Military Aircraft. In: AOW 2012, the Eighth Australasian Ontology Workshop. pp. 98-110, (2012)
Lombard, N., Gerber, A., Van der Merwe, A: Using Formal Ontologies in the Development of Countermeasures for Military Aircraft.. In: AOW 2012, Proceedings of the Eighth Australasian Ontology Workshop. pp. 98-110, (2012)
2011
Nortjé, R., Britz, K., Meyer, T.: Bidirectional reachability-based modules. In: Proceedings of the 24th International Workshop on Description Logics, 13-16 July 2011, Barcelona, Spain, volume 745 CEUR Workshop Proceedings. (2011)
Britz, K., Meyer, T., Varzinczak, I.: Concept Model Semantics for DL Preferential Reasoning. In: 24th International Workshop on Description Logics. (2011)
2015
Newman, G.: Language Fuzzing with Name Binding. Degree: Honours (2015)
Breytenbach, J. A. : Progressive Software Design Tool. Degree: Honours (2015)
2014
Gous, H.: Towards a reference architecture for integrated knowledge networks. Degree: PhD (2014)
Ongoma, N.: Formalising Temporal Attributes in Temporal Conceptual Data Models. Degree: MSc (2014)
Rens, G.: Formalisms for Agents Reasoning with Stochastic Actions and Perceptions. Degree: PhD (2014)
2013
2011
Moodley, K.: Debugging and Repair of Description Logic Ontologies. Degree: MSc (2011)
Khan, Z.: Extending ontology development methodologies with foundational ontologies. Degree: Honours (2011)
Nortjé, R.: Module extraction for inexpressive description logics. Degree: MSc (2011)
Hastings, J.: Representing chemical structures using OWL and description graphs. Degree: MSc (2011)
2015
Casini, G., Straccia, Umberto, Meyer, T.: A Polynomial Time Subsumption Algorithm for EL⊥ under Rational Closure. Technical report (2015)
Britz, A., Casini, G., Meyer, T., Moodley, K., Sattler, U.: Rational Defeasible Reasoning for Expressive Description Logics. technical Report (2015)
2014
Ongoma, N.: Formalising Temporal Attributes in Temporal conceptual data models. Masters and Doctoral Symposium (2014)
Rens, G., Meyer, T., Lakemeyer, G.: Dealing with Incomplete Transition Information in a Stochastic Action Logic. Technical Report (2014)
2013
Rens, G., Meyer, T., Lakemeyer, G.: The Stochastic Decision Logic. Technical report (2013)
Rens, G., Meyer, T., Lakemeyer, G.: A Sound, Complete and Terminating Decision Procedure for SLAOP. Technical report (2013)
Casini, G., Meyer, T., Moodley, K., Varzinczak, I.: Nonmonotonic reasoning in Description Logics: Rational Closure for the ABox. Technical Report (2013)
Casini, G., Meyer, T., Varzinczak, I., Moodley, K., Britz, K: Ordered Interpretations and Entailment for Defeasible Description Logics. Technical Report (2013)
Varzinczak, I.: Talk at TARK-13. Slides of the talk at the 14th International Conference on Theoretical Aspects of Rationality and Knowledge (TARK), Chennai, India. January 2013. (2013)
2012
Khan, Z., Keet, M.: ONSET: Automated foundational ontology selection and explanantion. Presentation slides (2012)
Varzinczak, I.: Preferential Reasoning: Beyond Propositional Logic and Argument Forms. Slides of the talk given at FAIR (2012)