APPLICATION OF ONTOLOGIES AND SEMANTIC WEB FOR FACILITATION OF ECOLOGY
|
|
- Cecil Warren
- 6 years ago
- Views:
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
Доклади на Българската академия на науките 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 informationKnowledge 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 informationEXPLICIT 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 informationHYBRID 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 informationTHREE 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 informationResource 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 informationLINEAR-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 informationWeb 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 informationOWL 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 informationTowards 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 informationKey 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 informationIONIZATION 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 informationAnnotation 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 informationOntology-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 informationSemantic 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 informationKnowledge 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 informationIntroduction. 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 informationReconciling 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 informationReconciling 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 informationOutline 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 informationALOE 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
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 informationSTATISTICAL 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 informationModel-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 informationADAPTIVE 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 informationGEO-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 informationDETERMINATION 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 informationAn 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 informationAn 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 informationAbout 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 informationGENERALIZED 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 informationTHE 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 informationComputational 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 informationFrom 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 informationAdaptive 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 informationFUZZY 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 informationFACTORIZATIONS 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 informationLogic 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 informationClustering 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 informationChlorophyll 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 informationQualitative 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 informationInformation 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 informationUsing 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 informationA 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 informationCURVES 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 informationFRAGMENTATION 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 informationMeasuring 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 informationLIMIT 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 informationHarmonizing 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 informationMy 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 informationSection 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 informationKnowledge 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 informationLogic. 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 informationOn 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 informationA 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 informationADVANTAGES 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 informationDesign 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 informationEcosystems 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 informationOntologies 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 informationA 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 informationA 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 informationDepartment 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 informationAnalysis 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 informationRDF 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 informationON THE VERTEX FOLKMAN NUMBERS
ГОДИШНИК НА СОФИЙСКИЯ УНИВЕРСИТЕТ СВ. КЛИМЕНТ ОХРИДСКИ ФАКУЛТЕТ ПО МАТЕМАТИКА И ИНФОРМАТИКА Том 101 ANNUAL OF SOFIA UNIVERSITY ST. KLIMENT OHRIDSKI FACULTY OF MATHEMATICS AND INFORMATICS Volume 101 ON
More informationTaxonomies 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 informationSt. 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 informationTraining 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 information43400 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 informationa 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 information2007 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 informationHeuristic 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 informationAbout 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 informationLecture 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 informationFinite 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 informationA 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 information3D 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 informationA 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 informationA 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 informationAlgebraic 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 informationLesson 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 informationACRONYMS 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 informationStatistical 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 informationExpert 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 information152 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 informationPrinciples 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 information314 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 informationSensitivity 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 informationClimate 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 informationDesigning 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 informationIndustrial 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 informationSPARQL 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 informationArchaeoKM: 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 informationEcology 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 informationStandardization 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 informationElectron 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 informationRISC-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 informationQuizizz. 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