APPLICATION OF ONTOLOGIES AND SEMANTIC WEB FOR FACILITATION OF ECOLOGY

Size: px
Start display at page:

Download "APPLICATION OF ONTOLOGIES AND SEMANTIC WEB FOR FACILITATION OF ECOLOGY"

Transcription

1 Доклади на Българската академия на науките Comptes rendus de l Académie bulgare des Sciences Tome 65, No 5, 2012 MATHEMATIQUES Informatique APPLICATION OF ONTOLOGIES AND SEMANTIC WEB FOR FACILITATION OF ECOLOGY Alexandre Chikalanov, Stoyan Stoyanov, Mariyana Lyubenova, Velichka Lyubenova (Submitted by Academician V. Sgurev on October 19, 2011) Abstract The application of Ontologies in the description of biology has become widely spread. This paper presents an approach for the application of Ontology in the description of complex ecological categories as Plant Functional Types. The authors illustrate the application of two Ontology approaches of engineering usage of Unified Modelling Language and Semantic Web approach usage of RDF/OWL schema languages. Both approaches are powerful enough to be used as tools for formal description and information dissemination of complex ecological categories. The conversion of both approaches in general is under development in the Object Management Group (OMG). Key words: Ecology knowledge, Plant Functional Type, Ontology, OWL, Unified Modelling Language, UML Introduction. The volume of Ecology knowledge has recently increased in an exponential way. Additionally, in the coming era of Internet of Things, a formal machine readable presentation of knowledge increases significantly and even 599

2 becomes critically important for building a global platform containing Knowledge, Social and Business information. There are a number of papers which consider Ontology as a general approach in achieving this goal [ 9 11 ]. The aim of this paper is to illustrate an Ontology-oriented approach for Ecology knowledge and a more specific formal presentation of the Plant Functional Type applying engineering approach and RDF/OWL schema languages. The authors have presented an approach for storing complex scientific information in Category-oriented databases [ 12 ]. This paper continues the ideas developed in the cited paper by presenting an approach for the exchange of a complex scientific knowledge in machine readable form. Methods. According to [ 7 ] there are three main approaches in Ontology: Usage of first order logic predicate computing. On the base of a set of symbols, logical operations and arithmetical operations compute whether a statement is true or false. Usage of description logic. Usage of software engineering technique. In the present paper, we propose the application of a software engineering technique by applying UML as a common software engineering language and the respective RDF/OWL languages for translation of the UML presentation in a machine readable form. One of the most important characteristics of Ontology and more specifically RDF and OWL schema, which distinguish them from OO description, is that after defining of classes they can be supplied with additional properties without the necessity to redefine the class itself. In our definitions we will use RDF Schema and OWL language. In this way we may add more and more properties to an already defined class. In our further examples we will define the most essential properties of the presented classes. These properties may be further extended seamlessly. Object. The object of formal description is a plant functional type invented by the authors of this paper. Plan Functional Type (PFT) [ 1 ] can be defined as a set of species with similar reactions against climate changes. The PFT proposed by the authors [ 3 ] is related to stress on growth of trees imposed by adverse climatic factors measured by average annual temperature and precipitations. The underlying methodology for the proposed PFT is the following: Taking samples of tree rings of different tree species from different locations; Computing the average tree rings per tree species per location; Polynomial approximation of the average tree samples; 600 A. Chikalanov, S. Stoyanov, M. Lyubenova et al.

3 Computing of an index as a ratio between measured and computed width per each year for any sample; Computing of an average growth index per tree species per location; Computing of temperature and precipitation indexes in the same way per location; Marking each year as AWD or ACW or other, for which there is climatic data for each location. A year is marked as AWD when the temperature index is greater than 1 + δ 1 and the precipitation index is less than 1 δ 2. A year is marked as ACW when the temperature index is less than 1 δ 1 and the precipitation index is greater than 1 + δ 2. Fig. 1. A general UML model of a proposed Plant Functional Type Compt. rend. Acad. bulg. Sci., 65, No 5,

4 We will call 1+δ 1 and1 δ 1 lower warm and highest cold temperature thresholds, 1 + δ 2 and 1 δ 2 lower wet precipitation and highest dry precipitation thresholds. One of the possible techniques is similar to the technique of Regression analysis: to identify the relationship between two or more quantitative variables: a dependent variable whose value is to be predicted and an independent or explanatory variable (or variables), about which knowledge is available. Regression analysis is used to understand the statistical dependence of one variable on other variables. The technique can show what proportion of the variance between variables is due to the dependent variable, and what proportion is due to the independent variables. The application of a regression analysis is rooted in an initial credible explanatory model. All the explanatory models are constructed on the basis of a model, such as the following, for linear regression: Y = β 0 + β 1 X 1 + β 2 X β k X k + ε, Y f(x, β), where Y is the change that the programme is mainly supposed to produce, X 1 k are independent variables likely to explain the change, β 0 k are constants, and ε is the error term. Reliable data are collected, either from a monitoring system or from an observation system. Partially realized regression techniques can be implemented by an evaluation method together with computing of average growth index per tree species per location. A tree species is considered as AWD sensitive PFT for a specific location when its average indexes have highest correlation with AWD years. The same is true for ACW sensitive PFT. Figure 1 presents a general UML model of a proposed PFT. <owl:class rdf:id= LivingSpecies > </owl:class> <owl:objectproperty:id= SelfOrganization <rdfs:domain rdf:resource= # LivingNature > <owl:objectproperty= Reproduction <rdfs:domain rdf:resource= # LivingSpesies > Fig. 2. Living nature description 602 A. Chikalanov, S. Stoyanov, M. Lyubenova et al.

5 <owl:class rdf:id= PlantSpecies > <owl:subclassof rdf:resorce = # LivingSpecies /> </rdfs:class> <owl:objectproperty rdf:id= Photosynthesis > <rdfs:domain rdf:resource= #PlantSpecies > <owl:objectproperty rdf:id= SpeciesName > <rdfs:domain rdf:resource= #PlantSpecies /> <rdfs:range rdf:resource= {\&}rdf;literal/> <owl:class rdf:id= TreeSpecies > <rdfs:subclassof rdf:resource= #PlantSpecies > <rdfs:subclassof> <owl:restriction> <owl:onproperty rdf:resource= #SingleWoodenStem /> </owl:restriction> </rdfs:subclassof> </owl:class> <owl:objectprperty rdf:id= SingleWoodenStem > <rdfs:domain rdf:resource= #TreeSpecies /> Fig. 3. Plant Species, Tree Species and Tree Rings presentation We define living nature with two of its properties, namely self organization and reproduction (Fig. 2). Plant species are defined with their most essential property photosynthesis. Each plant species has a unique name. Tree species are a sub class of plant species, which have a single wooden axis. Each tree ring sample is from only one tree species. The objects of class TreeRings consist of tree ring samples. The average values of tree ring indexes for every specific place and for every tree species are contained in class AverageTreeRings. Climatic related data as temperature and precipitation indexes are contained in AverageTemperatures and AveragePrecipitations. The definitions of the last two classes are the same as the definition of AverageTreeRings. Classes AWD and ACD contain adverse warm dry and adverse Compt. rend. Acad. bulg. Sci., 65, No 5,

6 cold wet years respectively. The adverse years are selected according to temperature and precipitation indexes. When the temperature index for a year is higher than a threshold value and the precipitation index is lower than a threshold value, we consider this year as adverse warm dry AWD. We define the class Place as a polygon of geographical coordinates of its vertices. In our ontology each class Place is composed of all tree samples which have been taken, the average tree ring indexes per tree species, the average yearly precipitation and temperature indexes and the sets of adverse years. In nature, places are not related to this data. <owl:class rdf:id= TreeRings > <rdfs:subclassof= DataContainer /> </owl:class> <owl:class rdf:id= AverageTreeRings > <rdfs:subclassof= DataContainer /> </owl:class> <owl:objectproperty rdf:ideateaverageringindexes > <rdfs:domain rdf:resource= #AverageTreeRings /> <owl:objectproperty rdf:ideateaverageringindexes > <rdfs:domain rdf:resource= #AverageTreeRings /> <owl:class rdf:id= AWD > <rdfs:subclassof= DataContainer /> </owl:class> <owl:datatypeproperty rdf:id= LowerTeperatureThreshold > <rdfs:domain rdf:resource= #AWD /> <rdfs:range rdf:resource= {\&}xsd:greaterthan /> </owl: :DataTypeProperty> <owl:datatypeproperty rdf:id= HigherPrecipitationThreshold > <rdfs:domain rdf:resource= #AWD /> <rdfs:range rdf:resource= {\&}xsd:lowerthan /> </owl: :DataTypeProperty> Fig. 4. Definitions of some classes which compose the class Place 604 A. Chikalanov, S. Stoyanov, M. Lyubenova et al.

7 Ontology( < part.owl> ) ObjectProperty(hasPart_directly inverseof(partof_directly)) ObjectProperty(partOf Transitive inverseof(haspart)) SubPropertyOf(hasPart_directly haspart) SubPropertyOf(partOf_directly partof) Namespace(part = < part.owl#>) Ontology( < example1.owl> Annotation( owl:imports < part.owl>) Class(Place partial restriction(part:haspart allvaluesfrom(unionof(treerings AverageTreeRings AvereageTemperatures AveragePrecipitations AWD ACD)))) Class(TreeRings partial) Class(AverageTreeRings partial) Class(AverageTemperatures partial) Class(AWD partial) Class(ACD partial) ) Fig. 5. Definition of Place and composing classes But bearing in mind the goal of defining plant functional types of tree species on a specific place, this information is inevitable. Without any of the composing objects, a specific place is useless for classifying the trees on its territory. Figure 4 illustrates the definitions of classes which compose the class Place [ 4 ]. Figure 5 presents the definition of class Place. Compt. rend. Acad. bulg. Sci., 65, No 5,

8 <owl:class rdf:id= AdversePlantFunctionalType > <owl:oneof rdf:parsetype= Collection > <owl:thing rdf:about = #AWD_Sensitive /> <owl:thing rdf:about = #ACD _Sensitive /> <owl:thing rdf:about = #Other /> </owl:one of> </ owl:class> Fig. 6. Adverse Plant Functional Type We will define the class TreeRingPlantFunctionalType via direct enumeration of its members. The members AWD Sensitive and ACD Sensitive members denote one of both adverse plant functional types. The member Other denotes that a tree species does not belong to one of these functional types. The evaluation of climatic data and tree rings samples taken from specific places can be done by applying different evaluation approaches like computing stress periods (3) for tree sampled species or by applying regression analyses or any other function for finding the relation between tree rings samples and climatic condition in this place. In Figure 1 we presented a UML diagram which defines a common class for mapping climatic and sample data to one of the introduced Plant Functional Types. In terms of OWL we describe the Evaluation function as a functional property with domain class Place and range class AdversePlantFunctionalType [ 5 ]. Any specific valuation function or algorithm is an instance of this property. Figure 7 contains the description of a functional property which relates the individuals of class Place to the individuals of class AdversePlantFunctionalType, which can be of the enumerated values. Conclusion. As a summary of the proposed usage of Ontologies for formal and machine readable description of Ecology objects, we can make the following conclusions: 1. Application of UML is powerful enough for the description of Ecology categories. <owl:objectproperty rdf:id="hasvintageyear"> <rdf:type rdf:resource="{\&}owl;functionalproperty" /> <rdfs:domain rdf:resource="#place" /> <rdfs:range rdf:resource="#adverseplantfunctionaltype "/> Fig. 7. Functional property mapping Place class to AdversePlantFunctionalType 606 A. Chikalanov, S. Stoyanov, M. Lyubenova et al.

9 2. In order to describe complex Ecological categories we need to apply OWL DL version of OWL, which is its most powerful version. The conversion between UML and OWL is under consideration and development in the Object Management Group (OMG), which develops an Ontology Definition Metamodel (ODM). In this way, after creating a set of conversion tools, the descriptions will allow us to map them without loss of information. Acknowledgements. The survey are conducted according to the goals of the scientific project with national co-fund entitled Application of information technologies for modelling of forest ecosystems approach to the development of dynamic global vegetation models, COST Action ES0805. REFERENCES [ 1 ] Smith T., H. Shugart, F. Woodward (eds). Plant Functional Types. Cambridge University Press, UK, 1997, 361 p. [ 2 ] Lavorel S., S. Diaz, J. Hans, C. Cornelinessen, Eric Garnier et al. In: Terrestrial Ecosystems in a Changing World, Berlin-Heidelberg-New York, Springer, 2007, [ 3 ] Lyubenova M., A. Chikalanov. Compt. rend. Acad. bulg. Sci., 63, 2010, No 3, [ 4 ] [ 5 ] [ 6 ] Lyubenova M. Plant Ecology, Sofia, Marin Drinov Acad. Publ. House, 2004, 574 p. [ 7 ] Gomez-Perez A., M. Fernandez-Lopez, O. Corcho. Ontological Engineering, Springer-Verlag, London Limited, 2004, 403. [ 8 ] OMG Unified Modelling Language (OMG UML), Infrastructure, September [ 9 ] Klein M., N. F. Noy. A Component-Based Framework for Ontology Evolution. In: Workshop on Ontologies and Distributed Systems at IJCAI-2003, Acapulco, Mexico, [ 10 ] Todorovski L., S. Dzeroski. Using domain knowledge on population dynamics modelling for equation discovery. In: The 12th European Conf. on Machine Learning, Lecture Notes in Computer Science, Berlin, Springer Verlag, 2001, [ 11 ] Fielding J. M., J. Simon, W. Ceusters, B. Smith. Ontological theory for ontological engineering: biomedical systems information integration. In: 9th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR2004), Whistler, Canada [ 12 ] Chikalanov A., M. Lyubenova, S. Stoyanov. Compt. rend. Acad. bulg. Sci., 63, 2010, No 9, Europe for Everyone 126, Stamboliiski Blvd, fl. 7, ap. 12a 1233 Sofia, Bulgaria ctmdevelopment@yahoo.com Geophysical Institute Bulgarian Academy of Sciences Acad. G. Bonchev Str., Bl Sofia, Bulgaria 4 Compt. rend. Acad. bulg. Sci., 65, No 5,

10 Faculty of Biology St. Kliment Ohridski University of Sofia 8, Dragan Tsankov Blvd 1164 Sofia, Bulgaria Technical University of Sofia 8, St. Kliment Ohridski Blvd 1756 Sofia, Bulgaria 608 A. Chikalanov, S. Stoyanov, M. Lyubenova et al.

IDEMPOTENT ELEMENTS OF THE ENDOMORPHISM SEMIRING OF A FINITE CHAIN

IDEMPOTENT ELEMENTS OF THE ENDOMORPHISM SEMIRING OF A FINITE CHAIN Доклади на Българската академия на науките Comptes rendus de l Académie bulgare des Sciences Tome 66, No 5, 2013 MATHEMATIQUES Algèbre IDEMPOTENT ELEMENTS OF THE ENDOMORPHISM SEMIRING OF A FINITE CHAIN

More information

Knowledge Representation and Description Logic Part 3

Knowledge Representation and Description Logic Part 3 Knowledge Representation and Description Logic Part 3 Renata Wassermann renata@ime.usp.br Computer Science Department University of São Paulo September 2014 IAOA School Vitória Renata Wassermann Knowledge

More information

EXPLICIT CHARACTERIZATION OF A CLASS OF PARAMETRIC SOLUTION SETS

EXPLICIT CHARACTERIZATION OF A CLASS OF PARAMETRIC SOLUTION SETS Доклади на Българската академия на науките Comptes rendus de l Académie bulgare des Sciences Tome 6, No 10, 009 MATHEMATIQUES Algèbre EXPLICIT CHARACTERIZATION OF A CLASS OF PARAMETRIC SOLUTION SETS Evgenija

More information

HYBRID MODELS OF STEP BUNCHING

HYBRID MODELS OF STEP BUNCHING Доклади на Българската академия на науките Comptes rendus de l Académie bulgare des Sciences Tome 65, No 8, 2012 CHIMIE Physicochimie et chimie théorique HYBRID MODELS OF STEP BUNCHING Diana Staneva, Bogdan

More information

THREE SEASONAL BEHAVIOUR OF THE BALKAN PENINSULA GNSS PERMANENT STATIONS FROM GPS SOLUTIONS

THREE SEASONAL BEHAVIOUR OF THE BALKAN PENINSULA GNSS PERMANENT STATIONS FROM GPS SOLUTIONS Доклади на Българската академия на науките Comptes rendus de l Académie bulgare des Sciences Tome 66, No 1, 2013 GEOPHYSIQUE Sismologie THREE SEASONAL BEHAVIOUR OF THE BALKAN PENINSULA GNSS PERMANENT STATIONS

More information

Resource Description Framework (RDF) A basis for knowledge representation on the Web

Resource Description Framework (RDF) A basis for knowledge representation on the Web Resource Description Framework (RDF) A basis for knowledge representation on the Web Simple language to capture assertions (as statements) Captures elements of knowledge about a resource Facilitates incremental

More information

LINEAR-QUADRATIC CONTROL OF A TWO-WHEELED ROBOT

LINEAR-QUADRATIC CONTROL OF A TWO-WHEELED ROBOT Доклади на Българската академия на науките Comptes rendus de l Académie bulgare des Sciences Tome 67, No 8, 2014 SCIENCES ET INGENIERIE Automatique et informatique Dedicated to the 145th Anniversary of

More information

Web Ontology Language (OWL)

Web Ontology Language (OWL) Web Ontology Language (OWL) Need meaning beyond an object-oriented type system RDF (with RDFS) captures the basics, approximating an object-oriented type system OWL provides some of the rest OWL standardizes

More information

OWL 2 Rules (Part 1) Tutorial at ESWC2009 May 31, Pascal Hitzler. AIFB, Universität Karlsruhe (TH) Markus Krötzsch

OWL 2 Rules (Part 1)  Tutorial at ESWC2009 May 31, Pascal Hitzler. AIFB, Universität Karlsruhe (TH) Markus Krötzsch OWL 2 Rules (Part 1) Tutorial at ESWC2009 May 31, 2009 Pascal Hitzler AIFB, Universität Karlsruhe (TH) Markus Krötzsch Sebastian Rudolph http://www.pascal-hitzler.de http://korrekt.org http://www.sebastian-rudolph.de

More information

Towards Lightweight Integration of SMT Solvers

Towards Lightweight Integration of SMT Solvers Towards Lightweight Integration of SMT Solvers Andrei Lapets Boston University Boston, USA lapets@bu.edu Saber Mirzaei Boston University Boston, USA smirzaei@bu.edu 1 Introduction A large variety of SMT

More information

Key Words: geospatial ontologies, formal concept analysis, semantic integration, multi-scale, multi-context.

Key Words: geospatial ontologies, formal concept analysis, semantic integration, multi-scale, multi-context. Marinos Kavouras & Margarita Kokla Department of Rural and Surveying Engineering National Technical University of Athens 9, H. Polytechniou Str., 157 80 Zografos Campus, Athens - Greece Tel: 30+1+772-2731/2637,

More information

IONIZATION EFFECTS IN THE MIDDLE STRATOSPHERE DUE TO COSMIC RAYS DURING STRONG GLE EVENTS

IONIZATION EFFECTS IN THE MIDDLE STRATOSPHERE DUE TO COSMIC RAYS DURING STRONG GLE EVENTS Доклади на Българската академия на науките Comptes rendus de l Académie bulgare des Sciences Tome 71, No 4, 2018 SPACE SCIENCES Cosmic ray physics IONIZATION EFFECTS IN THE MIDDLE STRATOSPHERE DUE TO COSMIC

More information

Annotation algebras for RDFS

Annotation algebras for RDFS University of Edinburgh Semantic Web in Provenance Management, 2010 RDF definition U a set of RDF URI references (s, p, o) U U U an RDF triple s subject p predicate o object A finite set of triples an

More information

Ontology-based Unit Test Generation

Ontology-based Unit Test Generation Ontology-based Unit Test Generation by Valeh Hosseinzadeh Nasser B.Sc., Amirkabir University of Technology, 2007 A THESIS SUBMITTED IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF Master of

More information

Semantic Web Languages Towards an Institutional Perspective

Semantic Web Languages Towards an Institutional Perspective Semantic Web Languages Towards an Institutional Perspective Dorel Lucanu 1,YuanFangLi 2, and Jin Song Dong 2 1 Faculty of Computer Science A.I.Cuza University Iaşi, Romania dlucanu@info.uaic.ro 2 School

More information

Knowledge Sharing. A conceptualization is a map from the problem domain into the representation. A conceptualization specifies:

Knowledge Sharing. A conceptualization is a map from the problem domain into the representation. A conceptualization specifies: Knowledge Sharing A conceptualization is a map from the problem domain into the representation. A conceptualization specifies: What sorts of individuals are being modeled The vocabulary for specifying

More information

Introduction. Thematic Mapping for Disaster Risk Assessment in Case of Earthquake FIG Working Week

Introduction. Thematic Mapping for Disaster Risk Assessment in Case of Earthquake FIG Working Week Thematic Mapping for Disaster Risk Assessment in Case of Earthquake Silvia MARINOVA, Temenoujka BANDROVA, Mihaela KOUTEVA-GUENTCHEVA, Stefan BONCHEV University of Architecture, Civil Engineering and Geodesy

More information

Reconciling concepts and relations in heterogeneous ontologies

Reconciling concepts and relations in heterogeneous ontologies Reconciling concepts and relations in heterogeneous ontologies Chiara Ghidini and Luciano Serafini ITC-IRST Via Sommarive 18 I-38040 Trento, Italy {ghidini,serafini}@itc.it Abstract. In the extensive usage

More information

Reconciling concepts and relations in heterogeneous ontologies

Reconciling concepts and relations in heterogeneous ontologies 1 Reconciling concepts and relations in heterogeneous ontologies Chiara Ghidini and Luciano Serafini ITC-IRST Via Sommarive 18 I-38040 Trento, Italy {ghidini,serafini}@itc.it Abstract In the extensive

More information

Outline Introduction Background Related Rl dw Works Proposed Approach Experiments and Results Conclusion

Outline Introduction Background Related Rl dw Works Proposed Approach Experiments and Results Conclusion A Semantic Approach to Detecting Maritime Anomalous Situations ti José M Parente de Oliveira Paulo Augusto Elias Emilia Colonese Carrard Computer Science Department Aeronautics Institute of Technology,

More information

ALOE A Graphical Editor for OWL Ontologies

ALOE A Graphical Editor for OWL Ontologies ALOE A Graphical Editor for OWL Ontologies Masterarbeit der Philosophisch-naturwissenschaftlichen Fakultät der Universität Bern vorgelegt von Daria Spescha 2005 Leiter der Arbeit: Prof. Dr. Gerhard Jäger,

More information

Доклади на Българската академия на науките Comptes rendus de l Académie bulgare des Sciences Tome 69, No 9, 2016 GOLDEN-STATISTICAL STRUCTURES

Доклади на Българската академия на науките Comptes rendus de l Académie bulgare des Sciences Tome 69, No 9, 2016 GOLDEN-STATISTICAL STRUCTURES 09-02 I кор. Доклади на Българската академия на науките Comptes rendus de l Académie bulgare des Sciences Tome 69, No 9, 2016 GOLDEN-STATISTICAL STRUCTURES MATHEMATIQUES Géométrie différentielle Adara

More information

STATISTICAL ANALYSIS OF SOLAR PROTON FLUX INFLUENCE ON THERMODYNAMICS OF MIDDLE ATMOSPHERE IN THE NORTH HEMISPHERE

STATISTICAL ANALYSIS OF SOLAR PROTON FLUX INFLUENCE ON THERMODYNAMICS OF MIDDLE ATMOSPHERE IN THE NORTH HEMISPHERE Доклади на Българската академия на науките Comptes rendus de l Académie bulgare des Sciences Tome 67, No 1, 2014 EXPLORATIONS COSMIQUES STATISTICAL ANALYSIS OF SOLAR PROTON FLUX INFLUENCE ON THERMODYNAMICS

More information

Model-theoretic Semantics

Model-theoretic Semantics Model-theoretic Semantics 1 Semantics Intro I What is the semantics of the following statement, according to RDF and according to RDFS? Ex:SpaceAccessory rdfs:subclassof ex:product 2 Semantics Intro II

More information

ADAPTIVE MPC BASED ON PROBABILISTIC BLACK-BOX INPUT-OUTPUT MODEL

ADAPTIVE MPC BASED ON PROBABILISTIC BLACK-BOX INPUT-OUTPUT MODEL Доклади на Българската академия на науките Comptes rendus de l Académie bulgare des Sciences Tome 68, No 6, 2015 SCIENCES ET INGENIERIE Automatique et informatique ADAPTIVE MPC BASED ON PROBABILISTIC BLACK-BOX

More information

GEO-INFORMATION (LAKE DATA) SERVICE BASED ON ONTOLOGY

GEO-INFORMATION (LAKE DATA) SERVICE BASED ON ONTOLOGY GEO-INFORMATION (LAKE DATA) SERVICE BASED ON ONTOLOGY Long-hua He* and Junjie Li Nanjing Institute of Geography & Limnology, Chinese Academy of Science, Nanjing 210008, China * Email: lhhe@niglas.ac.cn

More information

DETERMINATION OF THE SPECTRA AND IONIZATION OF ANOMALOUS COSMIC RAYS IN POLAR ATMOSPHERE

DETERMINATION OF THE SPECTRA AND IONIZATION OF ANOMALOUS COSMIC RAYS IN POLAR ATMOSPHERE ý Comptes rendus de l Académie bulgare des Sciences ÌÓÑ ÆÓ ¾¼½ EXPLORATIONS COSMIQUES DETERMINATION OF THE SPECTRA AND IONIZATION OF ANOMALOUS COSMIC RAYS IN POLAR ATMOSPHERE Simeon Asenovski, Peter I.

More information

An Ontology and Concept Lattice Based Inexact Matching Method for Service Discovery

An Ontology and Concept Lattice Based Inexact Matching Method for Service Discovery An Ontology and Concept Lattice Based Inexact Matching Method for Service Discovery Tang Shancheng Communication and Information Institute, Xi an University of Science and Technology, Xi an 710054, China

More information

An Essay on Complex Valued Propositional Logic

An Essay on Complex Valued Propositional Logic Key Words: Propositional logic logical equations complex propositional logic Boolean algebra imaginary logical variable lattice Abstract In decision making logic it is often necessary to solve logical

More information

About some anomalies in precipitation regime in Bulgaria

About some anomalies in precipitation regime in Bulgaria About some anomalies in precipitation regime in Bulgaria Ivan Drenovski, Krasimir Stoyanov SWU Neofit Rilski, Blagoevgrad, Bulgaria Abstract: An attempt for analysis on the precipitation regime in the

More information

GENERALIZED NET MODEL OF THE APPLYING FOR SCHOLARSHIPS AND AWARDS

GENERALIZED NET MODEL OF THE APPLYING FOR SCHOLARSHIPS AND AWARDS Годишник на секция Информатика Съюз на учените в България Том 5 2012 84-90 Annual of Informatics Section Union of Scientists in Bulgaria Volume 5 2012 84-90 GENEAIZED NET MODE OF THE APPYING FO SCHOASHIPS

More information

THE EFFECT OF TABEX AND LACTOFOL ON SOME PHYSIOLOGICAL CHARACTERISTICS OF ORIENTAL TOBACCO

THE EFFECT OF TABEX AND LACTOFOL ON SOME PHYSIOLOGICAL CHARACTERISTICS OF ORIENTAL TOBACCO BULG. J. PLANT PHYSIOL., 1997, 23(3 4), 91 99 91 THE EFFECT OF TABEX AND LACTOFOL ON SOME PHYSIOLOGICAL CHARACTERISTICS OF ORIENTAL TOBACCO Stoyan Pandev Acad. M. Popov Institute of Plant Physiology, Acad.

More information

Computational Biology, University of Maryland, College Park, MD, USA

Computational Biology, University of Maryland, College Park, MD, USA 1 Data Sharing in Ecology and Evolution: Why Not? Cynthia S. Parr 1 and Michael P. Cummings 2 1 Institute for Advanced Computer Studies, 2 Center for Bioinformatics and Computational Biology, University

More information

From Research Objects to Research Networks: Combining Spatial and Semantic Search

From Research Objects to Research Networks: Combining Spatial and Semantic Search From Research Objects to Research Networks: Combining Spatial and Semantic Search Sara Lafia 1 and Lisa Staehli 2 1 Department of Geography, UCSB, Santa Barbara, CA, USA 2 Institute of Cartography and

More information

Adaptive Binary Integration CFAR Processing for Secondary Surveillance Radar *

Adaptive Binary Integration CFAR Processing for Secondary Surveillance Radar * BULGARIAN ACADEMY OF SCIENCES CYBERNETICS AND INFORMATION TECHNOLOGIES Volume 9, No Sofia 2009 Adaptive Binary Integration CFAR Processing for Secondary Surveillance Radar Ivan Garvanov, Christo Kabakchiev

More information

FUZZY CRITERIA IMPORTANCE DEPENDING ON MEMBERSHIP DEGREES OF FUZZY RELATIONS

FUZZY CRITERIA IMPORTANCE DEPENDING ON MEMBERSHIP DEGREES OF FUZZY RELATIONS ,n;okji~ na Br.nrapcxera aka,n;emlrn na HaYKMTe Comptes rendus de l'academic bulgare des Sciences Tome 61, No 5, 2008 MATHEMATIQUES Sous-ensemble flous FUZZY CRITERIA IMPORTANCE DEPENDING ON MEMBERSHIP

More information

FACTORIZATIONS OF SOME SIMPLE LINEAR GROUPS

FACTORIZATIONS OF SOME SIMPLE LINEAR GROUPS GODIXNIK NA SOFI SKI UNIVERSITET SV. KLIMENT OHRIDSKI FAKULTET PO MATEMATIKA I INFORMATIKA Tom 1 ANNUAIRE DE L UNIVERSITE DE SOFIA ST. KLIMENT OHRIDSKI FACULTE DE MATHEMATIQUES ET INFORMATIQUE Tome 1 FACTORIZATIONS

More information

Logic as The Calculus of Computer Science

Logic as The Calculus of Computer Science 1 Ottobre, 2007 1 Università di Napoli Federico II What is a Logic? A Logic is a formalism with a sintax a semantics an inference mechanism for reasoning Historical Diagram The First Age of Logic: Symbolic

More information

Clustering analysis of vegetation data

Clustering analysis of vegetation data Clustering analysis of vegetation data Valentin Gjorgjioski 1, Sašo Dzeroski 1 and Matt White 2 1 Jožef Stefan Institute Jamova cesta 39, SI-1000 Ljubljana Slovenia 2 Arthur Rylah Institute for Environmental

More information

Chlorophyll fluorescence as a plant stress indicator

Chlorophyll fluorescence as a plant stress indicator Chlorophyll fluorescence as a plant stress indicator R.H. Kancheva, D.S. Borisova, I.T. Iliev Solar-Terrestrial Influences Laboratory, Bulgarian Academy of Sciences Sofia, Acad. G. Bonchev Str., bl. BULGARIA

More information

Qualitative Spatio-Temporal Reasoning & Spatial Database Design

Qualitative Spatio-Temporal Reasoning & Spatial Database Design Qualitative Spatio-Temporal Reasoning Focus on 2 research topics at the of the University of Liège J-P. Donnay P. Hallot F. Laplanche Curriculum in «Surveying & Geomatics» in the Faculty of Sciences of

More information

Information System Desig

Information System Desig n IT60105 Lecture 7 Unified Modeling Language Lecture #07 Unified Modeling Language Introduction to UML Applications of UML UML Definition Learning UML Things in UML Structural Things Behavioral Things

More information

Using C-OWL for the Alignment and Merging of Medical Ontologies

Using C-OWL for the Alignment and Merging of Medical Ontologies Using C-OWL for the Alignment and Merging of Medical Ontologies Heiner Stuckenschmidt 1, Frank van Harmelen 1 Paolo Bouquet 2,3, Fausto Giunchiglia 2,3, Luciano Serafini 3 1 Vrije Universiteit Amsterdam

More information

A conceptualization is a map from the problem domain into the representation. A conceptualization specifies:

A conceptualization is a map from the problem domain into the representation. A conceptualization specifies: Knowledge Sharing A conceptualization is a map from the problem domain into the representation. A conceptualization specifies: What sorts of individuals are being modeled The vocabulary for specifying

More information

CURVES AND SURFACES OF LEARNING. Sava Iv. Grozdev, Yulian Ts. Tsankov

CURVES AND SURFACES OF LEARNING. Sava Iv. Grozdev, Yulian Ts. Tsankov МАТЕМАТИКА И МАТЕМАТИЧЕСКО ОБРАЗОВАНИЕ, 2003 MATHEMATICS AND EDUCATION IN MATHEMATICS, 2003 Proceedings of the Thirty Second Spring Conference of the Union of Bulgarian Mathematicians Sunny Beach, April

More information

FRAGMENTATION OF LANDSCAPES WITH CONSERVATION VALUE IN SOUTH PIRIN AND SLAVYANKA MOUNTAIN (SOUTH-WESTERN BULGARIA)

FRAGMENTATION OF LANDSCAPES WITH CONSERVATION VALUE IN SOUTH PIRIN AND SLAVYANKA MOUNTAIN (SOUTH-WESTERN BULGARIA) FRAGMENTATION OF LANDSCAPES WITH CONSERVATION VALUE IN SOUTH PIRIN AND SLAVYANKA MOUNTAIN (SOUTH-WESTERN BULGARIA) Atanas Kitev, Rumiana Vatseva Assist. Prof. Atanas Kitev, Ph.D.; Prof. Rumiana Vatseva,

More information

Measuring ecosystems and biodiversity and related goods and services

Measuring ecosystems and biodiversity and related goods and services Measuring ecosystems and biodiversity and related goods and services World Bank, WAVES Partnership Meeting Michael Bordt, EASD Statistics Canada March 30, 2011 Outline What exists already in Canada and

More information

LIMIT THEOREMS FOR SUPERCRITICAL MARKOV BRANCHING PROCESSES WITH NON-HOMOGENEOUS POISSON IMMIGRATION

LIMIT THEOREMS FOR SUPERCRITICAL MARKOV BRANCHING PROCESSES WITH NON-HOMOGENEOUS POISSON IMMIGRATION Доклади на Българската академия на науките Comptes rendus de l Académie bulgare des Sciences Tome 66, No 4, 213 MATHEMATIQUES Théorie des probabilités LIMIT THEOREMS FOR SUPERCRITICAL MARKOV BRANCHING

More information

Harmonizing spatial databases and services at local and regional level

Harmonizing spatial databases and services at local and regional level Harmonizing spatial databases and services at local and regional level A. Ionita 1, M. Caian 2, V. Vassilev 3, V. Craciunescu 2, I. Nedelcu 4 1 Research Institute for Artificial Intelligence, Bucuresti,

More information

ИНТЕЛИГЕНТНА СРЕДА ЗА ГЕНЕРИРАНЕ НА ЕЛЕКТРОННИ УРОЦИ ЗА КУЛТУРНО-ИСТОРИЧЕСКОТО НАСЛЕДСТВО НА БЪЛГАРИЯ

ИНТЕЛИГЕНТНА СРЕДА ЗА ГЕНЕРИРАНЕ НА ЕЛЕКТРОННИ УРОЦИ ЗА КУЛТУРНО-ИСТОРИЧЕСКОТО НАСЛЕДСТВО НА БЪЛГАРИЯ Юбилейна научна конференция с международно участие - 2016 ИНТЕЛИГЕНТНА СРЕДА ЗА ГЕНЕРИРАНЕ НА ЕЛЕКТРОННИ УРОЦИ ЗА КУЛТУРНО-ИСТОРИЧЕСКОТО НАСЛЕДСТВО НА БЪЛГАРИЯ Мария Митева Ася Стоянова-Дойчева Нина Станчева

More information

My Community vs. Nunavut Weather and Climate

My Community vs. Nunavut Weather and Climate My Community vs. Nunavut Content Areas Social Studies, Science, Technology Objective Students will differentiate between weather and climate. For 1 month, they will collect and graph daily temperature

More information

Section 8. North American Biomes. What Do You See? Think About It. Investigate. Learning Outcomes

Section 8. North American Biomes. What Do You See? Think About It. Investigate. Learning Outcomes Section 8 North American Biomes What Do You See? Learning Outcomes In this section, you will Define the major biomes of North America and identify your community s biome. Understand that organisms on land

More information

Knowledge Representation and Reasoning Logics for Artificial Intelligence

Knowledge Representation and Reasoning Logics for Artificial Intelligence Knowledge Representation and Reasoning Logics for Artificial Intelligence Stuart C. Shapiro Department of Computer Science and Engineering and Center for Cognitive Science University at Buffalo, The State

More information

Logic. Introduction to Artificial Intelligence CS/ECE 348 Lecture 11 September 27, 2001

Logic. Introduction to Artificial Intelligence CS/ECE 348 Lecture 11 September 27, 2001 Logic Introduction to Artificial Intelligence CS/ECE 348 Lecture 11 September 27, 2001 Last Lecture Games Cont. α-β pruning Outline Games with chance, e.g. Backgammon Logical Agents and thewumpus World

More information

On some ways of determining membership and non-membership functions characterizing intuitionistic fuzzy sets

On some ways of determining membership and non-membership functions characterizing intuitionistic fuzzy sets Sixth International Workshop on IFSs Banska Bystrica, Slovakia, 10 Oct. 2010 NIFS 16 (2010), 4, 26-30 On some ways of determining membership and non-membership functions characterizing intuitionistic fuzzy

More information

A Survey of Temporal Knowledge Representations

A Survey of Temporal Knowledge Representations A Survey of Temporal Knowledge Representations Advisor: Professor Abdullah Tansel Second Exam Presentation Knowledge Representations logic-based logic-base formalisms formalisms more complex and difficult

More information

ADVANTAGES OF GIS-INTEGRATED MARITIME DATA IN THE BLACK SEA REGION FOR MULTIPURPOSE USE

ADVANTAGES OF GIS-INTEGRATED MARITIME DATA IN THE BLACK SEA REGION FOR MULTIPURPOSE USE INTERAGENCY INTERACTION IN CRISIS MANAGEMENT AND DISASTER RESPONSE 2017 ADVANTAGES OF GIS-INTEGRATED MARITIME DATA IN THE BLACK SEA REGION FOR MULTIPURPOSE USE Lyubka Pashova 1, Anna Kortcheva 2, Vasko

More information

Design and Development of a Large Scale Archaeological Information System A Pilot Study for the City of Sparti

Design and Development of a Large Scale Archaeological Information System A Pilot Study for the City of Sparti INTERNATIONAL SYMPOSIUM ON APPLICATION OF GEODETIC AND INFORMATION TECHNOLOGIES IN THE PHYSICAL PLANNING OF TERRITORIES Sofia, 09 10 November, 2000 Design and Development of a Large Scale Archaeological

More information

Ecosystems Chapter 4. What is an Ecosystem? Section 4-1

Ecosystems Chapter 4. What is an Ecosystem? Section 4-1 Ecosystems Chapter 4 What is an Ecosystem? Section 4-1 Ecosystems Key Idea: An ecosystem includes a community of organisms and their physical environment. A community is a group of various species that

More information

Ontologies for nanotechnology. Colin Batchelor

Ontologies for nanotechnology. Colin Batchelor Ontologies for nanotechnology Colin Batchelor batchelorc@rsc.org 2009-03-25 Ontologies for nanotechnology: Outline What is an ontology and how do they work? What do people use ontologies for? How are we

More information

A Formal Approach to Modeling and Model Transformations in Software Engineering

A Formal Approach to Modeling and Model Transformations in Software Engineering A Formal Approach to Modeling and Model Transformations in Software Engineering Adrian Rutle 1, Uwe Wolter 2, and Yngve Lamo 1 1 Bergen University College, p.b. 7030, 5020 Bergen, Norway {aru,yla}@hib.no

More information

A Practical Example of Semantic Interoperability of Large-Scale Topographic Databases Using Semantic Web Technologies

A Practical Example of Semantic Interoperability of Large-Scale Topographic Databases Using Semantic Web Technologies Paper presented at the 9th AGILE Conference on Geographic Information Science, Visegrád, Hungary, 2006 35 A Practical Example of Semantic Interoperability of Large-Scale Topographic Databases Using Semantic

More information

Department of Dendrology, University of Forestry, 10 Kl. Ohridski blvd., Sofia 1756, Bulgaria, tel.: *441

Department of Dendrology, University of Forestry, 10 Kl. Ohridski blvd., Sofia 1756, Bulgaria, tel.: *441 General and Applied Plant Physiology 2009, Volume 35 (3 4), pp. 122 126 2009 ISSN 1312-8183 Published by the Institute of Plant Physiology Bulgarian Academy of Sciences Available online at http://www.bio21.bas.bg/ipp/

More information

Analysis of Rural-Urban Systems and Historic Climate Data in Mexico

Analysis of Rural-Urban Systems and Historic Climate Data in Mexico Analysis of Rural-Urban Systems and Historic Climate Data in Mexico Global Conference on Big Data for Official Statistics October 2015, Abu Dhabi, UAE RURAL-URBAN SYSTEMS Rural-Urban Systems: Functional

More information

RDF and Logic: Reasoning and Extension

RDF and Logic: Reasoning and Extension RDF and Logic: Reasoning and Extension Jos de Bruijn Faculty of Computer Science, Free University of Bozen-Bolzano, Italy debruijn@inf.unibz.it Stijn Heymans Digital Enterprise Research Institute (DERI),

More information

ON THE VERTEX FOLKMAN NUMBERS

ON THE VERTEX FOLKMAN NUMBERS ГОДИШНИК НА СОФИЙСКИЯ УНИВЕРСИТЕТ СВ. КЛИМЕНТ ОХРИДСКИ ФАКУЛТЕТ ПО МАТЕМАТИКА И ИНФОРМАТИКА Том 101 ANNUAL OF SOFIA UNIVERSITY ST. KLIMENT OHRIDSKI FACULTY OF MATHEMATICS AND INFORMATICS Volume 101 ON

More information

Taxonomies of Building Objects towards Topographic and Thematic Geo-Ontologies

Taxonomies of Building Objects towards Topographic and Thematic Geo-Ontologies Taxonomies of Building Objects towards Topographic and Thematic Geo-Ontologies Melih Basaraner Division of Cartography, Department of Geomatic Engineering, Yildiz Technical University (YTU), Istanbul Turkey

More information

St. Kitts and Nevis Heritage and Culture

St. Kitts and Nevis Heritage and Culture St. Kitts and Nevis Heritage and Culture Eloise Stancioff, Habiba, Departmet of Culture St. Kitts HERA workshop: March 17-20, 2015 Goals Using freely available open source platforms, we implement two different

More information

Training on national land cover classification systems. Toward the integration of forest and other land use mapping activities.

Training on national land cover classification systems. Toward the integration of forest and other land use mapping activities. Training on national land cover classification systems Toward the integration of forest and other land use mapping activities. Guiana Shield 9 to 13 March 2015, Paramaribo, Suriname Background Sustainable

More information

43400 Serdang Selangor, Malaysia Serdang Selangor, Malaysia 4

43400 Serdang Selangor, Malaysia Serdang Selangor, Malaysia 4 An Extended ID3 Decision Tree Algorithm for Spatial Data Imas Sukaesih Sitanggang # 1, Razali Yaakob #2, Norwati Mustapha #3, Ahmad Ainuddin B Nuruddin *4 # Faculty of Computer Science and Information

More information

a division of Teacher Created Materials

a division of Teacher Created Materials Sample Pages from a division of Teacher Created Materials Thanks for checking us out. Please call us at 877-777-3450 with questions or feedback, or to order this product. You can also order this product

More information

2007 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes

2007 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes 2007 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or

More information

Heuristic Transformation of Well-Constructed Conceptual Maps into OWL Preliminary Domain Ontologies

Heuristic Transformation of Well-Constructed Conceptual Maps into OWL Preliminary Domain Ontologies Heuristic Transformation of Well-Constructed Conceptual Maps into OWL Preliminary Domain Ontologies Virgínia Brilhante, Gretchen T. Macedo and Sabatta F. Macedo Computing Science Department, Federal University

More information

About peer review missions related to data management

About peer review missions related to data management PEER REVIEW WORKSHOP ABOUT DATA MANAGEMENT Introduction Paul HAENER International Office for Water FRANCE p.haener@oieau.fr October 2016 About peer review missions related to data management 2 1 Data management

More information

Lecture 04: OCL Semantics

Lecture 04: OCL Semantics Software Design, Modelling and Analysis in UML Lecture 04: OCL Semantics 2014-10-30 Prof. Dr. Andreas Podelski, Dr. Bernd Westphal 04 2014-10-30 main Albert-Ludwigs-Universität Freiburg, Germany Contents

More information

Finite State Automata and Simple Conceptual Graphs with Binary Conceptual Relations

Finite State Automata and Simple Conceptual Graphs with Binary Conceptual Relations Finite State Automata and Simple Conceptual Graphs with Binary Conceptual Relations Galia Angelova and Stoyan Mihov Institute for Parallel Processing, Bulgarian Academy of Sciences 25A Acad. G. Bonchev

More information

A RESOLUTION DECISION PROCEDURE FOR SHOIQ

A RESOLUTION DECISION PROCEDURE FOR SHOIQ A RESOLUTION DECISION PROCEDURE FOR SHOIQ Yevgeny Kazakov and Boris Motik The University of Manchester August 20, 2006 SHOIQ IS A DESCRIPTION LOGIC! Yevgeny Kazakov and Boris Motik A Resolution Decision

More information

3D MAPS SCALE, ACCURACY, LEVEL OF DETAIL

3D MAPS SCALE, ACCURACY, LEVEL OF DETAIL 26 th International Cartographic Conference August 25 30, 2013 Dresden, Germany 3D MAPS SCALE, ACCURACY, LEVEL OF DETAIL Prof. Dr. Temenoujka BANDROVA Eng. Stefan BONCHEV University of Architecture, Civil

More information

A Formal Approach to Modeling and Model Transformations in Software Engineering

A Formal Approach to Modeling and Model Transformations in Software Engineering A Formal Approach to Modeling and Model Transformations in Software Engineering Adrian Rutle 1, Uwe Wolter 2, and Yngve Lamo 1 1 Bergen University College, p.b. 7030, 5020 Bergen, Norway {aru,yla}@hib.no

More information

A Generalized Decision Logic in Interval-set-valued Information Tables

A Generalized Decision Logic in Interval-set-valued Information Tables A Generalized Decision Logic in Interval-set-valued Information Tables Y.Y. Yao 1 and Qing Liu 2 1 Department of Computer Science, University of Regina Regina, Saskatchewan, Canada S4S 0A2 E-mail: yyao@cs.uregina.ca

More information

Algebraic Combinatorics, Computability and Complexity Syllabus for the TEMPUS-SEE PhD Course

Algebraic Combinatorics, Computability and Complexity Syllabus for the TEMPUS-SEE PhD Course Algebraic Combinatorics, Computability and Complexity Syllabus for the TEMPUS-SEE PhD Course Dragan Marušič 1 and Stefan Dodunekov 2 1 Faculty of Mathematics Natural Sciences and Information Technologies

More information

Lesson 2: Terrestrial Ecosystems

Lesson 2: Terrestrial Ecosystems Lesson 2: Terrestrial Ecosystems A terrestrial ecosystem is a land ecosystem. Terrestrial ecosystems include tundra, forests, grasslands, deserts, and rainforests. 1 The arctic tundra is earth s coldest

More information

ACRONYMS AREAS COUNTRIES MARINE TERMS

ACRONYMS AREAS COUNTRIES MARINE TERMS Natura 2000 ACRONYMS AREAS COUNTRIES MARINE TERMS DEFINITION A European network of protected sites under the European Habitats and Birds Directives, aiming to protect the most valuable and threatened European

More information

Statistical relationships between the surface air temperature anomalies and the solar and geomagnetic activity indices

Statistical relationships between the surface air temperature anomalies and the solar and geomagnetic activity indices Statistical relationships between the surface air temperature anomalies and the solar and geomagnetic activity indices Dimitar Valev Stara Zagora Department, Solar-Terrestrial Influences Laboratory, Bulgarian

More information

Expert Space Canada: Science Curriculum Connections for Saskatchewan

Expert Space Canada: Science Curriculum Connections for Saskatchewan xspace Curriculum Connection Course Grade 4 Based on Draft Document Grade 5 Based on Draft Document Animal Kingdom Biomes Endangered Species Plant Kingdom Conservation Sound Rocks and Minerals Fossil Fuels

More information

152 K.T. Atanassov Thus one assigns to the proposition p two real numbers (p) and (p) with the following constraint to hold: (p) + (p) 1: Let (p) =1 0

152 K.T. Atanassov Thus one assigns to the proposition p two real numbers (p) and (p) with the following constraint to hold: (p) + (p) 1: Let (p) =1 0 Mathware & Soft Computing 2(1995) 151-156 Remark on Intuitionistic Fuzzy Logic and Intuitionistic Logic Krassimir T. Atanassov Math. Res. Lab. P.O. Box 12, Soa-1113. Bulgaria Centre for Biomedical Engineering

More information

Principles of Knowledge Representation and Reasoning

Principles of Knowledge Representation and Reasoning Principles of Knowledge Representation and Semantic Networks and Description Logics II: Description Logics Terminology and Notation Bernhard Nebel, Felix Lindner, and Thorsten Engesser November 23, 2015

More information

314 Index. base interpretation, 50 base URI, 61 bottom concept, 43

314 Index. base interpretation, 50 base URI, 61 bottom concept, 43 Index AAT. See Art & Architecture Thesaurus (AAT) ABox. See assertional knowledge ACL. See Agent Communication Language (ACL) ADL. See Alexandria Digital Library (ADL) Adobe Extensible Metadata Platform,

More information

Sensitivity of Water Supply in the Colorado River Basin to Warming

Sensitivity of Water Supply in the Colorado River Basin to Warming Sensitivity of Water Supply in the Colorado River Basin to Warming Greg McCabe U.S. Geological Survey, Denver, Colorado Dave Wolock U.S. Geological Survey, Lawrence, Kansas The Colorado River Basin Streamgage

More information

Climate and Adaptations at the Fullerton Arboretum

Climate and Adaptations at the Fullerton Arboretum Climate and Adaptations at the Fullerton Arboretum Summary of Activity: Investigate different implementations of key plant traits in plants from different climate settings. Assess plant traits in terms

More information

Designing and Evaluating Generic Ontologies

Designing and Evaluating Generic Ontologies Designing and Evaluating Generic Ontologies Michael Grüninger Department of Industrial Engineering University of Toronto gruninger@ie.utoronto.ca August 28, 2007 1 Introduction One of the many uses of

More information

Industrial revolution and reform of mathematics

Industrial revolution and reform of mathematics UDC 51(091) Industrial revolution and reform of mathematics G. A. Zverkina Moscow State University of Railway Engineering (MIIT) 9b9 Obrazcova Street, Moscow, 127994, Russia V. A. Trapeznikov Institute

More information

SPARQL Extensions and Outlook

SPARQL Extensions and Outlook SPARQL Extensions and Outlook Axel Polleres 1 1 DERI Galway, National University of Ireland, Galway axel.polleres@deri.org European Semantic Web Conference 2007 A. Polleres SPARQL Extensions and Outlook

More information

ArchaeoKM: Managing Archaeological data through Archaeological Knowledge

ArchaeoKM: Managing Archaeological data through Archaeological Knowledge Computer Applications and Quantitative Methods in Archeology - CAA 2010 Fco. Javier Melero & Pedro Cano (Editors) ArchaeoKM: Managing Archaeological data through Archaeological Knowledge A. Karmacharya

More information

Ecology 312 SI STEVEN F. Last Session: Aquatic Biomes, Review This Session: Plate Tectonics, Lecture Quiz 2

Ecology 312 SI STEVEN F. Last Session: Aquatic Biomes, Review This Session: Plate Tectonics, Lecture Quiz 2 Ecology 312 SI STEVEN F. Last Session: Aquatic Biomes, Review This Session: Plate Tectonics, Lecture Quiz 2 Questions? Warm up: KWL KNOW: On a piece of paper, write down things that you know well enough

More information

Standardization of the land cover classes using FAO Land Cover Classification System (LCCS)

Standardization of the land cover classes using FAO Land Cover Classification System (LCCS) Sofia, 17-18 September 2008, LPIS Workshop LPIS applications and quality 1 Standardization of the land cover classes using FAO Land Cover Classification System (LCCS) Pavel MILENOV Agriculture Unit, JRC

More information

Electron energy distribution function in the divertor region of the COMPASS tokamak during neutral beam injection heating

Electron energy distribution function in the divertor region of the COMPASS tokamak during neutral beam injection heating EUROFUSION WPMST2-PR(16) 1683 E. Hasat al. Electronergy distribution function in the divertor region of the COMPASS tokamak during neutral beam injection heating Preprint of Paper to be submitted for publication

More information

RISC-KIT: EWS-DSS Hotspot Tool

RISC-KIT: EWS-DSS Hotspot Tool RISC-KIT: EWS-DSS Hotspot Tool Robert McCall Ap van Dongeren Deltares www.risckit.eu This project has received funding from the European Union s Seventh Programme for Research, Technological Development

More information

Quizizz. Mean Green Science: Interdependency Date and: Life Science Quiz 2. Name : Class : What is a producer?

Quizizz. Mean Green Science: Interdependency Date and: Life Science Quiz 2. Name : Class : What is a producer? Quizizz Name : Class : Mean Green Science: Interdependency Date and: Life Science Quiz 2 1. What is a producer? a) an organism that gets energy from eating other organisms c) an organism that gets energy

More information