基于最大不动点模型的描述逻辑系统FL��的有穷基

研究了描述逻辑的有穷基问题,分析了有穷基在描述逻辑中的重要意义及其研究现状,并研究了形式概念分析中的属性蕴含和Duguenne-Guigues基问题.利用形式概念分析中Duguenne-Guigues基存在的证明结果,在F.Baader工作基础上设置了描述逻辑的描述背景,重新定义了描述背景下的属性蕴含,证明了带循环术语的描述逻辑系统FLε存在最大不动点语义(greatest fixed-points,gfp)模型,给出了带循环术语的描述逻辑系统FLε在最大不动点模型下的有穷基的存在性定理,并证明有穷基的可靠性和完备性.描述逻辑有穷基可以帮助知识工程师构建一个更适用于推理的描述逻辑知识库.

New records of interesting xenophytes in the Iberian Peninsula. V

As a continuation of previous research on the naturalization of non-native vascular plants in the Iberian Peninsula new chorological data are presented for 16 xenophytes recorded between 2010 and 2014, mostly in the provinces of Huelva and Barcelona (Spain) and in the Algarve and Estremadura (Portugal). For each taxon details about distribution, habitats occupied, previous records, degree of naturalization, etc. are provided. Lachenalia bulbifera and Cyperus albostriatus are probably reported for the first time in the wild in Europe, as are Gamochaeta filaginea, and Dysphania anthelmintica and Oenothera lindheimeri for Portugal and Spain respectively. Cosmos bipinnatus is cited as a novelty for the Algarve (Portugal). Newly reported or confirmed for the province of Huelva are: Amaranthus hypochondriacus, Epilobium brachycarpum, Nephrolepis cordifolia, Ficus microcarpa, Tamarix parviflora and Tamarix ramosissima, while Atriplex semibaccata, Chloris truncata, and Elymus elongatus subsp. ponticus are new for Barcelona. Finally, Passiflora caerulea is a novelty for both Barcelona and Huelva provinces.

Dynamic analysis of employment trajectories through the concept of fl exicurity

The paper presents a dynamic study of the Spanish labour market which tries to determine if it matches the characteristics of transitional labour markets from a fl exicurity approach. Employment trajectories of Spanish workers during the years 2007-2010 are studied using the Continuous Sample of Working Lives. This period covers the end of the expansion of the Spanish economy and the beginning of the current employment crisis. From the combination of the chosen topic, the approach, and the database used, this is a novel perspective in our country. The article shows evidence of the evolution of the employment and unemployment spells, the Spanish labour market turnover degree, and the diffi culties of some groups for carrying out transition between employment and unemployment. The results obtained show a labour market in which a) transitions have come to a halt, and b) there is high job insecurity.

Dipping Wings:for flute (alto fl), clarinet (bass cot), tpt, vla, vcl, perc and live electronics

commissioned by Ballet Rambert for 60th Anniversary season, choreographer Mary Evelyn, designer Liz Emmanuel. World premiere: Theatre Royal York 03/06/86

Karta öfver Helsingfors omgifningar upptagande delar af Helsinge, Sibbo, Esbo och Kyrkslätt m. fl. socknar

Mittakaava laskettu janamittakaavasta

1.° Repertorium juris civilis : desideratur initium. — 2.° Distinctiones domini H. in varios titulos Codicis. — 3.° Anonymi opusculum, cujus titulus est : notabilia ex omni opere juris. — 4.° Fragmentum de ordine judiciorum et eorum exercitio. — 5.° Variae quaestiunculae juris civilis et canonici. — 6.° Summa de libellis, de conceptione libellorum et sententiarum : authore Bernardo Dorna, Provinciali. — 7.° Diversitates, sive dissensiones dominorum super toto corpore juris civilis : au thore Hugolino. — 8.° Anonymi tractatus de officio advocationis. — 9.° Arbor omnium actionum : authore Joanne, Cremonensi

Colbertinus

1.° Flores chronicorum fusiores, sive catalogus summorum Pontificum à S. Petro ad Joannem XXII. et Romanorum Imperatorum à Julio Caesare ad Henricum de Luxemburgo : authore Bernardo Guidonis ; subjiciuntur ejusdem flores chronicorum breviores. — 2.° Genealogia Regum Francorum à Trojana gentis origine ad Philippum Valesium : eodem authore. — 3.° Chronicon Regum Francorum à Pharamundo ad Philippum Valesium : eodem authore ; sequitur hujus chronici epitome. — 4.° Chronicon Comitum Tolosanorum : eodem authore. — 5.° Ejusdem tractatus brevis de temporibus et annis generalium et particularium Conciliorum : eodem authore.

nuper comparatus

1.° Flores chronicorum fusiores ; sive catalogus summorum Pontificum à Christo ad Joannem XXII. authore Bernardo Guidonis : praemittitur ejusdem Bernardi vita ; à scriptore coaetaneo scripta. — 2.° Catalogus Regum Francorum à Trojana gentis origine ad Ludovicum X. eodem authore. — 3.° Genealogia Regum Francorum : eodem authore. — 4.° Catalogus Comitum Tolosanorum : eodem authore. — 5.° Nomina Discipulorum Christi ; accedit eorumdem missae officium : eodem authore. — 6.° Ejusdem tractatus brevis de temporibus et annis generalium et particularium Conciliorum. — 7.° Nomina duodecim Apostolorum. — 8.° Catalogus Episcoporum Tolosanorum : authore eodem. — 9.° Ejusdem brevis tractatus de ordinatione officii missae, et de casibus qui inter celebrandum accidere possunt. — 10.° Idem de praeceptis decalogi. — 11.° Idem de articulis fidei. — 12.° Idem de septem sacramentis Ecclesiae. — 13.° Idem de dotibus gloriae Beatorum.

Colbertinus