Call for Papers

The purpose of this workshop is to serve as a launchpad for an international-scale translational resource for knowledge axiomatization with input from broader AI community. This would include an “institute” to focus on education and training as well as on hosting repositories of knowledge in computational form based on open-source government and other data available today.

We welcome submission on any topic that will constructively advance the mission of TIKA. Some (but not all) of the topics of interest include:

• Use Cases for Knowledge Axiomatization: Papers discussing specific use cases in both the private and public sectors that demonstrate the value of formal knowledge representation, including how automated reasoning is applied in industries like automotive, healthcare, finance, and more.

• Educational Resources for TIKA: Contributions that address the educational materials for teaching knowledge axiomatization at different levels

• Technical Resources for TIKA: Existing reusable computational representations, ontologies, domain models worthy of hosting by TIKA. Existing open-source reasoning tools that can serve as starting points

• Merging Little and Big Semantics: Papers focused on transitioning from domain-specific (little semantics) to broader, more generalized systems (big semantics) that allow for deep inferential reasoning across multiple domains

• Semantic Challenges in Enterprise Data Architectures: Submissions exploring challenges related to data governance, integration, and semantics, with a focus on how enterprises are managing and scaling semantic technologies

• Impact of Cyc and Other similar Initiatives: Retrospective analyses of knowledge representation projects such as Cyc, Project Halo, and Wolfram Alpha, including what lessons can be applied to TIKA

• Technical Roadmaps for TIKA: Detailed visions and roadmaps for the technical challenges that TIKA should address, cognitive architectures that can be used, approaches for bridging between axiomatic and linguistic representations

• Turing Tests for Knowledge Axiomatization: Papers exploring how we can measure and benchmark the success of knowledge axiomatization efforts, including proposed standards, metrics, and Turing-like tests for reasoning systems

Submission Guidelines

We welcome submissions of original research papers (8 pages) as well as short papers (4-6 pages) focused on case studies, work-in-progress, or visionary ideas. All submissions must adhere to the AAAI author guidelines. Submissions should be made through the workshop's OpenReview.Net submission portal. For any questions, please write to us at tika-2025@googlegroups.com. 

Important Dates

Submission Deadline: November 24, 2024

Notification of Acceptance: December 9, 2024

Workshop Date: March 3-4, 2025