). Recent years have witnessed remarkable advances in some of the long-standing problems of the f... more ). Recent years have witnessed remarkable advances in some of the long-standing problems of the field, primarily pertaining to spatial calculi and model construction issues emanating from the founding premises and early work in the community (Ligozat, 1990 39. Ligozat, G. 1990.“Weak representations of interval algebras.”. In AAAI 715–720.
Abstract We propose a human-centred model for abstraction, modelling and computing in function-dr... more Abstract We propose a human-centred model for abstraction, modelling and computing in function-driven spatial design for architecture. The primitive entities of our design conception ontology and computing framework are driven by classic notions of 'structure, function, and affordance'in design, and are directly based on the fundamental human perceptual and analytical modalities of visual and locomotive exploration of space.
Abstract In response to the changing nature of health issues, standardized health ontologies such... more Abstract In response to the changing nature of health issues, standardized health ontologies such as SNOMED CT and UMLS incline to change more frequently than most other domain ontologies. Yet, semantic interoperability shared among institutions within a distributed health care enterprise relies heavily on the availability of a valid and up-to-date standardized ontology. In this paper, we propose the creation and preservation of sub-ontologies to deal with the frequent changes in health ontologies.
This paper deals with a computer system supporting conceptual floor layout and reasoning about ab... more This paper deals with a computer system supporting conceptual floor layout and reasoning about abstract spatial artefacts. The reasoning module is able to evaluate constraints which involve immaterial entities (range spaces of sensor devices). The internal data structures of the system are hypergraph-based, but the design constraints are specified as first-order logic formulae.
Shape, Form, and Structure are some of the most elusive notions within diverse disciplines rangin... more Shape, Form, and Structure are some of the most elusive notions within diverse disciplines ranging from the humanities (literature, arts) to the sciences (chemistry, biology, physics etc.) and within these from the formal (like mathematics) to the empirical disciplines (such as engineering and cognitive science).
We propose an interleaved inductive-abductive model for reasoning about complex spatio-temporal n... more We propose an interleaved inductive-abductive model for reasoning about complex spatio-temporal narratives. Typed Inductive Logic Programming (Typed-ILP) is used as a basis for learning the domain theory by generalising from observation data, whereas abductive reasoning is used for noisy data correction by scenario and narrative completion thereby improving the inductive learning to get semantically meaningful event models.
The global effort in the standardization of electronic health records has driven the need for a m... more The global effort in the standardization of electronic health records has driven the need for a model to allow medical practitioners to interact with the newly standardized medical information system by focusing on the actual medical concepts/processes rather than the underlying data representations.
Anterior cervical fusion (ACF) has been shown to alter the biomechanics of adjacent segments of t... more Anterior cervical fusion (ACF) has been shown to alter the biomechanics of adjacent segments of the cervical spine. The goal of total disc replacement is to address pathology at a given disc with minimal disruption of the operated or adjacent segments. This study compares the pressure within discs adjacent to either a two-level simulated ACDF or a two-level total disc replacement with the ProDisc-C. A special automated motion testing apparatus was constructed.
Abstract. In recent years there has been growing interest in solutions for the delivery of clinic... more Abstract. In recent years there has been growing interest in solutions for the delivery of clinical care for the elderly, due to the large increase in aging population. Monitoring a patient in his home environment is necessary to ensure continuity of care in home settings, but, to be useful, this activity must not be too invasive for patients and a burden for caregivers.
In many ways, the raison d'etre of computers is to perform tasks that humans either cannot do or ... more In many ways, the raison d'etre of computers is to perform tasks that humans either cannot do or do not want to do, from the mundane (such maintaining database records and sorting them into order) to the tedious (such as performing the millions of calculations required to produce even a short-term weather forecast).
Abstract We present a multimodal spatial data access framework designed to serve the informationa... more Abstract We present a multimodal spatial data access framework designed to serve the informational and computational requirements of architectural design assistance systems that are intended to provide intelligent spatial decision support and analytical capabilities. The framework focuses on multiperspective semantics, qualitative and artifactual spatial abstractions, and industrial conformance and interoperability within the context of the industry foundation classes.
We propose CLP (QS), a declarative spatial reasoning framework capable of representing and reason... more We propose CLP (QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We systematically formalize and implement the semantics of a range of qualitative spatial calculi using a system of non-linear polynomial equations in the context of a classical constraint logic programming framework. Whereas CLP (QS) is a general framework, we demonstrate its applicability for the domain of Computer Aided Architecture Design.
Abstract While computers assist humans with tasks such as navigation that involve spatial aspects... more Abstract While computers assist humans with tasks such as navigation that involve spatial aspects, agents that can interact in a meaningful way in this context are still in their infancy. One core issue is the mismatch in the representation of spatial information a computer-based system is likely to use, and the one a human is likely to use. Computers are better suited for quantitative schemes such as maps or diagrams that rely on measurable distances between entities.
Abstract. We present the conceptual and operational overview and architecture of a framework for ... more Abstract. We present the conceptual and operational overview and architecture of a framework for semantic–high-level, qualitative–reasoning about dynamic geospatial phenomena. The framework is based on advances in the areas of geospatial semantics, qualitative spatio-temporal representation and reasoning, and reasoning about actions and change.
Abstract. Spatial assistance systems designed to empower people in smart environments need to per... more Abstract. Spatial assistance systems designed to empower people in smart environments need to perceive their operational environment, recognize activities performed in the environment, and reason about the observed information in order to plan a course of action. Activities performed by humans are spatio-temporal interactions between a subject, objects, and the (potential) group-based context in which they are performed.
Abstract. We present early results on the development of a declarative spatial reasoning system w... more Abstract. We present early results on the development of a declarative spatial reasoning system within the context of the Constraint Logic Programming (CLP) framework. The system is capable of modelling and reasoning about qualitative spatial relations pertaining to multiple spatial domains, ie, one or more aspects of space such as topology, and intrinsic and extrinsic orientation.
‣ There are many proof systems for Modal Logics. One of the most popular ones are Semantic Tablea... more ‣ There are many proof systems for Modal Logics. One of the most popular ones are Semantic Tableaux:‣ refutation based proof system‣ highly developed optimisation techniques‣ allows to extract models directly from proofs‣ popular in particular for Description Logic based formalisms‣ often used for establishing upper bounds for the complexity of a SAT problem for a logic.
Abstract Spatial assistance systems designed to empower people in smart environments need to perc... more Abstract Spatial assistance systems designed to empower people in smart environments need to perceive their operational environment, recognize activities performed in the environment, and reason about the observed information in order to plan a course of action.
Abstract. We introduce ontological blending as a method for combining ontologies. Compared with e... more Abstract. We introduce ontological blending as a method for combining ontologies. Compared with existing combination techniques that aim at integrating or assimilating categories and relations of thematically related ontologies, blending aims at creatively generating (new) categories and ontological definitions; this is done on the basis of input ontologies whose domains are thematically distinct but whose specifications share structural or logical properties.
Abstract. Mobile robot technology develops fast nowadays. Currently, commercial robot systems are... more Abstract. Mobile robot technology develops fast nowadays. Currently, commercial robot systems are restricted to controlled areas like production halls or storage buildings. It is only a question of time until robots are able to operate in arbitrary populated environments. Current efforts to improve social acceptance of robots aim at the hardware, eg two legged-robots or human like heads.
). Recent years have witnessed remarkable advances in some of the long-standing problems of the f... more ). Recent years have witnessed remarkable advances in some of the long-standing problems of the field, primarily pertaining to spatial calculi and model construction issues emanating from the founding premises and early work in the community (Ligozat, 1990 39. Ligozat, G. 1990.“Weak representations of interval algebras.”. In AAAI 715–720.
Abstract We propose a human-centred model for abstraction, modelling and computing in function-dr... more Abstract We propose a human-centred model for abstraction, modelling and computing in function-driven spatial design for architecture. The primitive entities of our design conception ontology and computing framework are driven by classic notions of 'structure, function, and affordance'in design, and are directly based on the fundamental human perceptual and analytical modalities of visual and locomotive exploration of space.
Abstract In response to the changing nature of health issues, standardized health ontologies such... more Abstract In response to the changing nature of health issues, standardized health ontologies such as SNOMED CT and UMLS incline to change more frequently than most other domain ontologies. Yet, semantic interoperability shared among institutions within a distributed health care enterprise relies heavily on the availability of a valid and up-to-date standardized ontology. In this paper, we propose the creation and preservation of sub-ontologies to deal with the frequent changes in health ontologies.
This paper deals with a computer system supporting conceptual floor layout and reasoning about ab... more This paper deals with a computer system supporting conceptual floor layout and reasoning about abstract spatial artefacts. The reasoning module is able to evaluate constraints which involve immaterial entities (range spaces of sensor devices). The internal data structures of the system are hypergraph-based, but the design constraints are specified as first-order logic formulae.
Shape, Form, and Structure are some of the most elusive notions within diverse disciplines rangin... more Shape, Form, and Structure are some of the most elusive notions within diverse disciplines ranging from the humanities (literature, arts) to the sciences (chemistry, biology, physics etc.) and within these from the formal (like mathematics) to the empirical disciplines (such as engineering and cognitive science).
We propose an interleaved inductive-abductive model for reasoning about complex spatio-temporal n... more We propose an interleaved inductive-abductive model for reasoning about complex spatio-temporal narratives. Typed Inductive Logic Programming (Typed-ILP) is used as a basis for learning the domain theory by generalising from observation data, whereas abductive reasoning is used for noisy data correction by scenario and narrative completion thereby improving the inductive learning to get semantically meaningful event models.
The global effort in the standardization of electronic health records has driven the need for a m... more The global effort in the standardization of electronic health records has driven the need for a model to allow medical practitioners to interact with the newly standardized medical information system by focusing on the actual medical concepts/processes rather than the underlying data representations.
Anterior cervical fusion (ACF) has been shown to alter the biomechanics of adjacent segments of t... more Anterior cervical fusion (ACF) has been shown to alter the biomechanics of adjacent segments of the cervical spine. The goal of total disc replacement is to address pathology at a given disc with minimal disruption of the operated or adjacent segments. This study compares the pressure within discs adjacent to either a two-level simulated ACDF or a two-level total disc replacement with the ProDisc-C. A special automated motion testing apparatus was constructed.
Abstract. In recent years there has been growing interest in solutions for the delivery of clinic... more Abstract. In recent years there has been growing interest in solutions for the delivery of clinical care for the elderly, due to the large increase in aging population. Monitoring a patient in his home environment is necessary to ensure continuity of care in home settings, but, to be useful, this activity must not be too invasive for patients and a burden for caregivers.
In many ways, the raison d'etre of computers is to perform tasks that humans either cannot do or ... more In many ways, the raison d'etre of computers is to perform tasks that humans either cannot do or do not want to do, from the mundane (such maintaining database records and sorting them into order) to the tedious (such as performing the millions of calculations required to produce even a short-term weather forecast).
Abstract We present a multimodal spatial data access framework designed to serve the informationa... more Abstract We present a multimodal spatial data access framework designed to serve the informational and computational requirements of architectural design assistance systems that are intended to provide intelligent spatial decision support and analytical capabilities. The framework focuses on multiperspective semantics, qualitative and artifactual spatial abstractions, and industrial conformance and interoperability within the context of the industry foundation classes.
We propose CLP (QS), a declarative spatial reasoning framework capable of representing and reason... more We propose CLP (QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We systematically formalize and implement the semantics of a range of qualitative spatial calculi using a system of non-linear polynomial equations in the context of a classical constraint logic programming framework. Whereas CLP (QS) is a general framework, we demonstrate its applicability for the domain of Computer Aided Architecture Design.
Abstract While computers assist humans with tasks such as navigation that involve spatial aspects... more Abstract While computers assist humans with tasks such as navigation that involve spatial aspects, agents that can interact in a meaningful way in this context are still in their infancy. One core issue is the mismatch in the representation of spatial information a computer-based system is likely to use, and the one a human is likely to use. Computers are better suited for quantitative schemes such as maps or diagrams that rely on measurable distances between entities.
Abstract. We present the conceptual and operational overview and architecture of a framework for ... more Abstract. We present the conceptual and operational overview and architecture of a framework for semantic–high-level, qualitative–reasoning about dynamic geospatial phenomena. The framework is based on advances in the areas of geospatial semantics, qualitative spatio-temporal representation and reasoning, and reasoning about actions and change.
Abstract. Spatial assistance systems designed to empower people in smart environments need to per... more Abstract. Spatial assistance systems designed to empower people in smart environments need to perceive their operational environment, recognize activities performed in the environment, and reason about the observed information in order to plan a course of action. Activities performed by humans are spatio-temporal interactions between a subject, objects, and the (potential) group-based context in which they are performed.
Abstract. We present early results on the development of a declarative spatial reasoning system w... more Abstract. We present early results on the development of a declarative spatial reasoning system within the context of the Constraint Logic Programming (CLP) framework. The system is capable of modelling and reasoning about qualitative spatial relations pertaining to multiple spatial domains, ie, one or more aspects of space such as topology, and intrinsic and extrinsic orientation.
‣ There are many proof systems for Modal Logics. One of the most popular ones are Semantic Tablea... more ‣ There are many proof systems for Modal Logics. One of the most popular ones are Semantic Tableaux:‣ refutation based proof system‣ highly developed optimisation techniques‣ allows to extract models directly from proofs‣ popular in particular for Description Logic based formalisms‣ often used for establishing upper bounds for the complexity of a SAT problem for a logic.
Abstract Spatial assistance systems designed to empower people in smart environments need to perc... more Abstract Spatial assistance systems designed to empower people in smart environments need to perceive their operational environment, recognize activities performed in the environment, and reason about the observed information in order to plan a course of action.
Abstract. We introduce ontological blending as a method for combining ontologies. Compared with e... more Abstract. We introduce ontological blending as a method for combining ontologies. Compared with existing combination techniques that aim at integrating or assimilating categories and relations of thematically related ontologies, blending aims at creatively generating (new) categories and ontological definitions; this is done on the basis of input ontologies whose domains are thematically distinct but whose specifications share structural or logical properties.
Abstract. Mobile robot technology develops fast nowadays. Currently, commercial robot systems are... more Abstract. Mobile robot technology develops fast nowadays. Currently, commercial robot systems are restricted to controlled areas like production halls or storage buildings. It is only a question of time until robots are able to operate in arbitrary populated environments. Current efforts to improve social acceptance of robots aim at the hardware, eg two legged-robots or human like heads.
Uploads
Papers by Mehul Bhatt