UBBC Limited was founded by Graham Deane in 2008 and is exploring the applications of formal knowledge representation.
The mantra understanding builds better commerce reflects the commitment to show that organisations can identify opportunities for growth by tapping into the knowledge that surrounds them to inform decision making, planning and operations.
Commercial activities were suspended while I was researching techniques for reasoning in the presence of inconsistencies at the Department of Computing, Imperial College in London. I have now completed my doctoral studies in this field and more information will follow shortly.
Please contact me for availability.
Reasoning about a domain relies on constructing an accurate formal model of the domain knowledge. However, in real-word environments, we must accept that some information may be missing or inaccurate. This leads to the introduction of inconsistencies in the model and automated reasoning in the presence of inconsistent information is a challenging open problem.
Models must be created efficiently to allow cost effective deployment within organisations. The Semantic Web initiative is driving a fundamental transition towards distributed formal knowledge representation. The Web Ontology Languages (OWL) formalise an approach for sharing and reusing knowledge. We have been researching techniques for reasoning about (possibly inconsistent) knowledge represented using OWL 2 and have developed an implementation based on Answer Set Programming (ASP).