Event Ordering Reasoning Ontology applied to

3 downloads 0 Views 379KB Size Report
Ordering Reasoning Ontology applied to Petrology and Geological Modelling. In: Castillo, O.et al. ... Knowledge Engineering, Ontology, Sedimentary Petrology,.
Mastella, L.S.; Abel, M.; Ros, L.F.D.; Perrin, M. e Rainaud, J.-F. Event Ordering Reasoning Ontology applied to Petrology and Geological Modelling. In: Castillo, O.et al. Theoretical /Advances and Applications of Fuzzy Logic and Soft Computing.: Springer-Verlag, 2007. p.465-475

Event Ordering Reasoning Ontology applied to Petrology and Geological Modelling Laura S. Mastella1, 3, Mara Abel1, Luiz F. De Ros2, Michel Perrin3, Jean-François5 Rainaud Universidade Federal do Rio Grande do Sul 1 Instituto de Informática and 2 Instituto de Geociências Porto Alegre, Brazil

3 École des Mines de Paris Paris, France

4

Institut Français du Pétrole Rueil-Malmaison, France

{mastella, marabel, lfderos}@inf.ufrgs.br [email protected] [email protected]

Abstract. The inference of temporal information from past event occurrences is relevant in several applications for geological domains. In such applications, the order in which events have happened is imprinted in the domain as visualspatial relations among its elements. The interpretation of the relative ordering in which events have occurred is essential for understanding the geological evolution in different scales of observation and for various kinds of objects, as in Petrology and Geological Modelling. From the analysis of the cognitive abilities of experts in these domains we propose an ontology for event ordering reasoning within domains whose elements have been modified by past events. We show that the Event Ontology can work as a pattern for domain conceptualization to be applied in distinct domains. It can be used to specify the sequence order of diagenetic paragenesis. It can also be operative for automatic reconstruction of geological surface assemblages. Keywords. Knowledge Engineering, Ontology, Sedimentary Petrology, Geological Modelling.

1. Introduction The inference of temporal information from past event occurrences [1] is particularly relevant in domains such as law, medicine, archaeology, geology and many others. A geologist, for instance, identifies visual-spatial relations among objects (rock constituents, geological surfaces) as does a physician when analyzing medical images to identify pathologies. In both cases, the visual-spatial relationships that are observed are the result of a sequence of past events. Late minerals grow over pre-existing ones like tumours grow over healthy tissues.

L. S. Mastella, M. Abel, L. F. De Ros, M. Perrin, J.-F. Rainaud In this work, we deal with two kinds of geological interpretations that are both involved in reasoning on temporal events. First, we examine how one can reconstruct the succession of diagenetic events, which affected siliciclastic rocks and consequently modified their porosities and permeabilities. Secondly, we identify the events related to the deposition and to the further evolution of sedimentary formations in order to identify the position of the geological surfaces (horizons, faults), which limit hydrocarbon reservoirs. We are concerned by representing relative time, i.e. by the mere order in which the events happened. In addition, we aim at deriving relative temporal information from another dimension (the visual-spatial relations between the elements of the domain). In both cases, images are the starting point of the analysis. Petrologists observe thin section under an optical microscope while geophysicists and petroleum geologists identify geological surfaces on seismic images. In order to propose representation primitives and an inference mechanism, a long process of knowledge acquisition techniques in the petrology domain was carried out. The analysis of the cognitive abilities of the experts led to the development of a cognitive model picturing the geologist’s reasoning concerning an imagistic domain (rock thin sections) [2]. The Event Ontology, which is part of this cognitive model, was shown to be capable of modelling the expert's reasoning when deriving the sequence of events which led to the visual-spatial organisation of the domain under analysis. Here we additionally present an application of Event Ontology for Geological Modelling. Moreover, we compare the petrology and geological modelling domains and map the ontology already proposed to both domains, in order to demonstrate that this model can be considered as a template of domain conceptualization to be applied in evolving domains. Section 2 presents some Knowledge Engineering (KE) approaches for modelling temporal and spatial information and the basics of ontologies. Section 3 describes the geological domains on which this work is applied. Section 4 presents the cognitive model for event reasoning. Section 5 describes the application of the developed model to the domains in study, and finally Section 7 presents some preliminary conclusions.

2. KE Theoretical Foundations In this section we introduce the main approaches of Knowledge Engineering for temporal and spatial representation and the basics of ontologies. Relative and absolute notions of time. In the absolute notion, time consists of a sequence of discrete points (dates, hours, etc.). In the relativistic view of time, on the contrary, events and temporal relationships between them precede the notion of time. When is possible to define absolute time stamps associated to events, developing inference about ordering becomes a relatively simple task. However, according to [3], in most real domains, timing information is also conveyed by time relationships, such as "before" and "after" (referred to above as relative time). Ontologies. According to most definitions, an ontology is a formal, explicit specification of a shared conceptualization [4]. Using ontological constructs, it is possible to describe static knowledge, specifying which are the objects that compose the domain and according to which structure they are organized. Ontologies are also used as means of semantic integration. According to [5] very general ontology

Event Ordering Reasoning Ontology applied to Petrology and Geological Modelling

3

formalizing notions such as processes and events, time and space, physical objects, and so on, can be developed with the explicit goal of providing a ground vocabulary to domain-specific ontologies. Recently, some authors have aimed at augmenting the expressive power of ontologies by including temporal information [6]. Most proposals considers absolute time stamp associated with objects of the ontology. However, in several application domains, events are not to be interpreted by putting time stamps over them.

3. The Domains of Study in Geology Let us describe the geological domains concerned by this work. Sedimentary Petrology: in the case of hydrocarbon exploration, this science aims at evaluating the economic prospects of oil fields and reservoirs by interpreting observations related to rock thin sections. Several kinds of visual-spatial relations between rock constituents can be observed such as "A covering B", "A engulfing B". They are called paragenetic relations. These relations reflect the changes undergone by the rock in the course of the geological history, which are a result of a sequence of diagenetic events. Diagenetic events are physical-chemical processes, which acted over the sediments transforming them into solid rocks and, consequently, modifying the porosities and permeabilities of potential oil-reservoirs. Using his extensive previous knowledge, a qualified petrologist is able to point out the ordering of events by observing how the constituents are spatially and visually related to each other. Using a simple example: If one mineral appears to be on top of other mineral, it means that the former was generated in the rock later than the latter. The sequence of events is an important criterion to determine the quality of a reservoir. In Fig. 1, we show an example of rock sample and the visual-spatial relations between the minerals that were identified. 2

1

Qz

3 Qz

1

2

Qz

3 3 2

1

Qz

Qz Fig. 1. Vision of a rock sample: (1) Hematite is covering grains of Quartz (Qz); (2) Quartz growings are covering hematite; (3) Quartz is being covered by Illite. Some interpretations techniques used for the evaluation of oil reservoirs were already modelled in the PetroGrapher system, an intelligent database application to support the description and interpretation of sedimentary rock samples [7]. The vocabulary of Petrology was elicited as a result of previous works on the domain [8] and modelled as a domain ontology.

L. S. Mastella, M. Abel, L. F. De Ros, M. Perrin, J.-F. Rainaud Geological Modelling: 3D geological models are conventional representations of a definite portion of underground corresponding to hydrocarbon reservoirs or to sedimentary basin models. The blocks of geological matter are limited by surfaces such as sedimentary interfaces or faults, and geological modelling aims at reconstructing geological surface assemblages in order to obtain models that can further be populated by petrophysical properties. Each defined surface of the model is the record of one defined geological event, which can be considered as having been instantaneous with respect to the geological time scale. Geological interpretation then consists in giving a geological qualification (stratigraphic surface, fault) to the surfaces entering into the model, and in implicitly or explicitly establishing a total or partial chronological order between the geological events to which they correspond. Since an older geological event cannot modify a younger one, the chronological order defined by the geological interpretation has consequences on the geometry and on the topology of the model to be built. Considering this, a geological syntax was defined as a result of previous work on the domain [9] and modelled as a geo-ontology [10]. The process of geological interpretation can be understood considering Fig. 2. Fig. 2 is a synthetic example of most of the features currently present in geological assemblages. Several surfaces interrupting each others can be observed: Surface T is an example of an erosional surface interrupting surfaces E and X. Thus, T is younger than E and X. Surface a is an example of an on-lap surface, which interrupts surfaces b and c. Thus, a is older than b and x. Full spatial and temporal relations are thus established between surfaces a, b and c as a consequence of geological interpretation. T

E*

T

T*

T E

X

T* d* E*

d

m

F2 F1 Dm2

E c*

G

m*

E* b*

b a*

X

c E a

E*

a*

E

G*

a Dm1

G

a*

Dm1

Fig. 2. Example of a geological scene. Petrography and geological modelling both consider processes and events that change spatial configurations. However, theses two domains contrast according to the scale of observation. While a petrologist observes thin sections of rocks at the microscope, structural geologists study geological assemblages whose horizontal dimensions may reach tens or even hundreds of kilometres. Even so, at both scales, the work of a geologist is comparable to that of a detective: it consists in observing spatial signatures and in trying to deduce from them the full chain of geological

Event Ordering Reasoning Ontology applied to Petrology and Geological Modelling

5

events that successively affected the domain. In section 5, we will make a closer comparison between the two domains, in order to identify the elements that play similar roles in petrology and in geological modelling.

4. A General Ontology of Events The cognitive model presented here intends to model the evolution of a domain, which was submitted to various modifications resulting from events successively occurring in a non-planned order. Each of these events acted in the past as an operator transforming the domain. Their succession has induced several spatial relations among the domain elements. Considering the visual-spatial relationships that finally resulted from the full sequence of events and that can presently be observed, one can try to guess what were the events that have affected the domain and in which order they happened. This is the goal of the ontology-supported knowledge engineering approach that we propose. 4.1. The Event Ontology We propose an extension to the classic constructs of ontological representation for evolving domains in order to capture the meaning of events and temporal relations between them. Such proposed constructs should be applied for modelling domains whose current state can be fully understood by considering the sequences of events to which they were submitted. We define the new constructs as follows (Fig. 3):

Fig. 3. The constructs of the Event Ontology. Event is a construct that acts as domain-transforming operator. It represents the phenomena that generate or modify the elements of the domain. Events are characterized by specific domain-dependent attributes, but not necessarily by a time stamp. They are also described by rules that associate them to their products. Events are, by their way, associated to each other by temporal relations. Temporal relation is a construct proposed to represent the ordering relation between events. In order to reflect such ordering, we have defined the binary relations before, after and during. Furthermore, we defined inference rules in order to represent the rules that the expert uses to produce the interpretation. We have two types of inference rules: event indication rules and temporal implication rules. In the event indication rules, the characteristics of the elements (expressed by class attributes in the ontology) are used to indicate which event originated or modified the element, as in: if classA.attribute1 = value-x

L. S. Mastella, M. Abel, L. F. De Ros, M. Perrin, J.-F. Rainaud then classB.attribute2 = value-y

The temporal implication rules are defined in order to allow the inference of binary temporal relations between events from the visual-spatial relations between the elements, as in: if visual_relation(A,B) then temporal_relation(A,B)

The main concepts that should be represented in the model are the domain elements, which are the items of the domain that have possibly been generated or modified by the events. The relationships represented in the model are the visual relations between the domain elements (for instance, one element is on top of the other). Representing the visual relations is essential for the inference, because they show strong evidences of the order in which the events have occurred. In the following section we explain how the Event Ontology was used as a base ground in order to map each of the two geological domains considered.

5. Mapping of the Cognitive Model to Geological Domains We intend to show in this section how we identified the elements that have similar roles in the domains of Petrography and Geological Modelling and how those elements were mapped to the Event Ontology. Sedimentary Petrology: • Rock Constituents correspond to the minerals and pores that build a rock. Constituents can be minerals such as quartz or illite, and their more important properties are habit, location and modifiers. They are Domain Elements. • Paragenetic Relations describe the visual-spatial arrangements among constituents. Common paragenetic relations specify that a given mineral covers another mineral or engulfs another mineral, etc. They are Spatial Relations. • Diagenetic Events. These events correspond to physical-chemical processes, which induced changes in rock mineralogy. The experts do not take into account the absolute period of time during which the various diagenetic events happened, but only the order in which they happened. Diagenetic events can be dissolution, replacement, compaction, fracturing, deformation, etc. They are Events. • Ordering Relation. Diagenetic events can have happened in a simultaneous or in a sequential way. In order to simplify the computational treatment of the sequence, we treat the ordering of events in pairs, as an expert does. The relations between pairs of events are after, before, and during. They are the Temporal Relations. The ontology of Petrology resulted is as shown in Fig. 4. • Inference rules. The expert is able to indicate the generating events by analyzing the characteristics of the rock constituents. For instance, when the attribute modifier of a constituent holds the value deformed, supposing that no small scale tectonic deformation occurred, it is possible to conclude that the event that transformed the constituent is compaction. Hence, it was necessary to represent this knowledge as event indication rules. These inference rules define an association between constituents and diagenetic events, e.g. rule below:

Event Ordering Reasoning Ontology applied to Petrology and Geological Modelling

7

if constituent.modifier = deformed then event.event_name = compaction

Fig. 4. A partial Petrology Ontology After having identified the events, the expert is able to infer the order in which they occurred considering the visual-spatial (paragenetic) relations that he observes between the constituents. For instance, when a mineral appears to be covering (to be lying on the top of) another mineral, the expert says that the event that formed the first mineral occurred later than the event that formed the latter. The first part of this particular expert's rule is assuming a paragenetic relation between constituents. The second part is defining an ordering relation between events. Thus, we need to represent this knowledge as temporal implication rules. An example of this type of rule is the following: if covering(constituent1, constituent2) and produced_by(constituent1, event1) and produced_by(constituent2, event2) then after(event1, event2)

Geological Modelling. The Geo-Ontology proposed by [10] deals with the broad arrangements of geological objects that are considered when building models. • Geo_Objects correspond to actual physical geological objects, which are Geological surfaces and Geological formations. Geological surfaces correspond to limits of sedimentary formations (ex: horizons) or to tectonic discontinuities (ex: faults). A geological formation is a volume made of contiguous material points; it is fully limited by a set of geological surfaces. They are the Domain Elements. • Topo_Assertions are spatial relationships between intersecting surfaces, which can be: interrupts and stops on. They are the Spatial Relations. • Geo_Event, refers to a geological process occurring during a definite span of time or to a combination of such processes which correspond to matter creation (sediment deposition, magma intrusion), matter destruction (erosion), matter transformation (diagenesis, metamorphism), matter deformation (folds, faults, thrusts). They are the Events. • Chrono_Assertions represent the chronological relations that can occur between Geo_Events. They can be younger than, older than, or contemporary to. They are the Temporal Relations. Current geological modelling rest on two main hypotheses [9]:

L. S. Mastella, M. Abel, L. F. De Ros, M. Perrin, J.-F. Rainaud 1. The age hypothesis: Since the events are responsible for creating or transforming surfaces, each geological surface corresponds to one defined event and has one defined age. Thus, there is a direct association between Geo_Objects and Geo_Events. 2. The intersection topology hypothesis: When two surfaces meet, one necessarily interrupts the other (no X-crossings). Chrono-topological relationships between horizons can be described by providing them with attributes such as erosional meaning that they interrupt all older surfaces or on-lap meaning that younger horizons may stop on them. The above rules are the main elements of the geological syntax that any geologist implicitly uses when interpreting crude geological data. This same syntax should also be used when building 3D models. Previous work operated in École des Mines de Paris has shown also that, in order to be geologically consistent, underground models should be built in accordance with a few chrono-spatial rules. Those rules can be expressed as, for example: if stopsOn(surfaceA,surfaceB) and (Erosional(surfaceB) or Fault(surfaceB)) then youngerThan(surfaceB,surfaceA) if stopsOn(surfaceA,surfaceB) and (OnLap(surfaceB)) then olderThan(surfaceB,surfaceA)

It means that when a geologist interprets the topological relation between the objects we can infer the temporal relations. The ontology of Geological Modelling resulted is as follows (Fig. 5):

Fig. 5. Ontology for Geological Modelling. So, from the GeoOntology and from the Petrology Ontology we could identify the following equivalences, using the Event ontology as a base for the mapping (Fig. 6):

Event Ordering Reasoning Ontology applied to Petrology and Geological Modelling

9

Fig. 6. Mapping of the Petrology and GeoModelling Ontologies to the Event ontology. It thus appears that the two domains have a similar event based organization in the knowledge level. Similar reasoning methods can be applied in the two domains to interpret the succession of events to which geological assemblages were submitted both at the petrology and at the geological modelling scales.

6. Validation of the Event Ontology The proposed Event Ontology has been applied to the petrography domain, being implemented as an inference module within the PetroGrapher system [7]: the diagenetic sequence interpretation module. Real rock samples were described by the geologist in the PetroGrapher system and he also provided a previous interpretation of the sequence of diagenetic events, which was compared to the interpretation produced by the algorithm. The detailed experiment is described in [2]. The resulting event sequence is the same as the one inferred by an expert in most cases. For some rock samples the algorithm produces sequences of events that are not totally connected. However, in some cases, not even the expert is able to produce a complete sequence of events, because some paragenetic relations may be visible (and then described) in one sample and not in another one. Although the resulting sequence may sometimes be incomplete, it is certainly relevant to the domain, because, any sequence of events that can be inferred from a rock description is essential in understanding how the porosity and the permeability of the rock were affected, and how this influences the quality of the oil reservoir. This module is incorporated in the industrial version of PetroGrapher system1.

7. Conclusion We presented an Event Ontology, which allows correlating spatial and temporal relations and shows that it can work as a pattern of domain conceptualization to be applied in different geological disciplines. The models presented are able to describe

1

®

The commercial name of the PetroGrapher system is PETROLEDGE , which is being distributed by Endeeper (http://www.endeeper.com/).

L. S. Mastella, M. Abel, L. F. De Ros, M. Perrin, J.-F. Rainaud the reasoning of an expert who observes and interprets visual-spatial relations in search for the best explanation about the sequence of events that caused them. From the representation of the topological-temporal relation between two geological objects (Geological Evolution Schema – GES, [9]) it is possible to automatically rebuild from unsegmented geological surfaces a 3D geological model fully consistent both topologically and geologically. Present day rocks and present day rock assemblages are the result of a complex history consisting in a succession of events related to various physical, chemical or mechanical processes. The art of the geologist consists in inferring from geological observation at different scales a geological interpretation which is nothing else that a possible or probable reconstruction of the geological history. Considering two different scales and different types of geological objects, we have tried to show by using knowledge engineering techniques, that geological interpretation obeys to definite reasoning rules, which are similar from one geological domain to another, at least in some aspects. Although it is preliminary, this result appears to us as important since it may contribute to making fully explicit the geological interpretation procedures used during oil & gas exploration and to thus facilitating the collaboration between the various experts involved. Acknowledgments. L. Mastella acknowledges the CAPES Foundation for financial support on her Doctoral work. M. Abel and L.F. De Ros are supported by the Brazilian Research Council - CNPq. We thank P. Verney, Doctoral student at ENSMP and IFP for discussions about the formalization of Structural Geology.

8. References 1. Thagard, P.S., Cameron P., Abductive reasoning: logic, visual thinking, and coherence, in Logic and scientific methods. 1997, Kluwer. p. 413-427. 2. Mastella, L., et al. Cognitive Modelling of Event Ordering Reasoning in Imagistic Domains. in Proceedings of the 19th International Joint Conference on Artificial Intelligence - IJCAI'05. 2005. Edinburgh, UK. 3. Bolour, A.D., L. J., Abstractions in Temporal Information. Information Systems, 1983. 8(1): p. 41-49. 4. Studer, R.B., V.R. & Fensel, D., Knowledge engineering: principles and methods. Data & Knowledge Engineering, 1998. 25(1/2): p. 161-197. 5. Noy, N.F., Semantic integration: a survey of ontology-based approaches, in ACM SIGMOD Record - COLUMN: Special section on semantic integration. 2004, ACM Press: New York, NY, USA. p. 65 - 70. 6. Bennett, B.G., Antony P., A unifying semantics for time and events. Artificial Intelligence, 2004. 153: p. 13-48. 7. Abel, M.S., Luis Alvaro Lima; Ros, Luiz Fernando de; Mastella, Laura S.; Campbell, John A. & Novello, Taisa, PetroGrapher: managing petrographic data and Knowledge using an intelligent database application. Expert Systems with Applications, 2004. 26(1): p. 9-18. 8. Abel, M.S., Luis Alvaro Lima; Ros, Luiz Fernando De; Campbell, John A. & Mastella, Laura Silveira. PetroGrapher: managing petrographer data and knowledge

Event Ordering Reasoning Ontology applied to Petrology and Geological Modelling

11

using an intelligent database application. in WORKSHOP ON INTELLIGENT COMPUTING IN PETROLEUM INDUSTRY. 2002. Mexico City, Mexico: [s.n.]. 9. Perrin, M., Geological consistency : an opportunity for safe surface assembly and quick model exploration, in 3D Modeling of Natural Objects, A Challenge for the 2000’s. 1998: Nancy, France. p. 4-5. 10. Perrin, M., et al., Knowledge-driven applications for geological modeling. Journal of petroleum science & engineering, 2005. 47(1-2): p. 89-104.