Open AccessPutting ABox Updates into Action
Author(s) -
Franz Baader,
Conrad Drescher,
Hongkai Liu,
Steffen Guhlemann,
Uwe Petersohn,
Peter Steinke,
Michael Thielscher
Publication year - 2009
Language(s) - English
Resource type - Reports
DOI - 10.25368/2022.170
Subject(s) - computer science , iterated function , action (physics) , context (archaeology) , theoretical computer science , programming language , point (geometry) , logic programming , description logic , mathematics , mathematical analysis , paleontology , physics , geometry , quantum mechanics , biology