Citation Context

...] for further discussion). An alternative approach is to use constraint propagation techniques where variables range over a set of values and the constraints are used to prune this set of values (see =-=[12]-=- and [13] for further discussion). Current implementations of the system described here adopt this second approach. This requires a constraint selection strategy and some mechanism for storing results...

Citation Context

... is to generate all possible assignments of values to variables and test these against the given set of constraints, in a manner that will result in early identification of fruitless assignments (see =-=[10]-=- for further discussion). An alternative approach is to use constraint propagation techniques where variables range over a set of values and the constraints are used to prune this set of values (see [...

Citation Context

...ther discussion). An alternative approach is to use constraint propagation techniques where variables range over a set of values and the constraints are used to prune this set of values (see [12] and =-=[13]-=- for further discussion). Current implementations of the system described here adopt this second approach. This requires a constraint selection strategy and some mechanism for storing results. The cur...

Citation Context

...rget was a language called Compiled MIR (CMIR), but could equally well be any other executable representation. As such MIR has similarities with other tools for creating ontologies such as Ontolingua =-=[9]-=-. 2 ADDRESSES The primitive unit of the system is the (tesseral) address which can be regarded as a unique label associated with some two, three or four dimensional sub-space. The class hierarchy asso...

Citation Context

...de an object. The second allows us to expand an object in all or some direction(s). In this manner all the standard multi-dimensional topological relations such as those identified by (say) Egenhofer =-=[8]-=-, Hern'andez [11] or Cohn [6] can be defined. Of course it is only appropriate to apply such offsets to shaped objects - applying offsets to shapeless objects will result in unpredictable conclusions....

Citation Context

...ws us to expand an object in all or some direction(s). In this manner all the standard multi-dimensional topological relations such as those identified by (say) Egenhofer [8], Hern'andez [11] or Cohn =-=[6]-=- can be defined. Of course it is only appropriate to apply such offsets to shaped objects - applying offsets to shapeless objects will result in unpredictable conclusions. Thus a constraint definition...

Citation Context

...e second allows us to expand an object in all or some direction(s). In this manner all the standard multi-dimensional topological relations such as those identified by (say) Egenhofer [8], Hern'andez =-=[11]-=- or Cohn [6] can be defined. Of course it is only appropriate to apply such offsets to shaped objects - applying offsets to shapeless objects will result in unpredictable conclusions. Thus a constrain...

Citation Context

...traditional approaches to multidimensional reasoning are no longer relevant. The system has been implemented using a quad-tesseral representation based on the hierarchical decomposition of space (see =-=[7]) and a Ca-=-rtesian "grid-referencing" system. The ontolog has been used in demonstration systems which address a number of application areas: examples include support for environmental impact assessmen...

Citation Context

... system. The ontolog has been used in demonstration systems which address a number of application areas: examples include support for environmental impact assessment with respect to building projects =-=[1]-=-, provision of spatial reasoning capabilities for Geographic Information Systems [2], and to address timetabling problems [3]. Earlier versions of the system operated using only one dimension and were...

Citation Context

...presented in a series of tables. The syntax used is based on the MIR knowledge representation langauge which was developed as part of the MAKE (Maintenance Assistance for Knowledge Engineers) project =-=[5]-=-. This was a collaborative project between ICL, British Coal and the University of Liverpool, that addressed the role of maintenance in knowledge based systems. The result was the Make Authoring and D...