Advanced Knowledge Technologies

1. Advanced Knowledge Technologies www.aktors.org • Aberdeen Technologies • Methods for knowledge base refinement: rules, constraints and taxonomies • Knowledge representation and reasoning with structures and functions: formal conceptual modelling, description logics • Framework for problem-solving, knowledge acquisition and reuse • Techniques for software interoperability: a scalable approach for communication between heterogeneous platforms • Aberdeen Tasks • AKT BUS - an infrastructure for knowledge communication • ShaRe - an architecture for knowledge analysis, sharing and reuse • ConcepTool: an environment to support the reuse of heterogeneous knowledge • ConRef: a tool for knowledge refinement • WebCon: detecting inconsistencieson web pages • NMARKUP: plain text markup & knowledge modelling • Aberdeen Focus • Heterogeneous knowledge sharing & reuse: semantic alignment, assembly, adaptation • Knowledge maintenance: conventional KBs and consistency checks on web pages • Infrastructure: sharing of knowledge sources in a distributed environment • Knowledge acquisition & modelling: markup of textual sources & creation of KBs from formal descriptions The architecture of the NMARKUP system The ConcepTool environment at work Department of Computing Science, University of Aberdeen Meston Building, King's College Aberdeen AB24 3UE Scotland, UK Phone +44 (0)1224 272397 Fax +44 (0)1224 273422 www.csd.abdn.ac.uk