]> BibSonomy publications for /author/Rosati http://www.bibsonomy.org/burst/author/Rosati BibSonomy BuRST Feed for /author/Rosati 2008-07-20T23:52:18+02:00 Determining grain size distribution of the material composing landslide dams in the Northern Apennines: sampling and processing methods ScienceDirect - Engineering Geology : Determining grain size distribution of the material composing landslide dams in the Northern Apennines: sampling and processing methodshttp://www.bibsonomy.org/bibtex/27707c4e4cf512a144fea57addeeffcc1/ncasagli ncasagli 2008-07-11T00:05:07+02:00 grain-size landslide-dam
Determining grain size distribution of the material composing landslide dams in the Northern Apennines: sampling and processing methods
Nicola Casagli and Leonardo Ermini and Giorgio Rosati Engineering Geology 69 83--97 (2003)
to grain-size landslide-dam by ncasagli on 2008-07-11 00:05:07 ]]> Engineering Geology#apr#1-283--97Determining grain size distribution of the material composing landslide dams in the Northern Apennines: sampling and processing methods692003grain-size landslide-dam 2008-07-11 00:05:07.0Landslide dams are a particular kind of natural dam which forms when an earth or rock mass reaches a river channel causing its complete or partial blockage. Since 1995, the Earth Sciences Department of the University of Firenze has been running a project involving the inventory of landslide dams in the Northern Apennines, which currently contains more than 60 case studies. It is known that the geotechnical characterisation of landslide dams is closely related to the grain size distribution of the materials composing the dams. In particular, grain size exerts a control on dam stability, influencing the strength and the permeability of the dam material. The main purpose of this work is to contribute to grain size characterisation of landslide dams by giving an outline of the possible methods that can be used for grain size assessment and showing the results obtained from the case studies selected in the Northern Apennines. Indeed, despite its importance, there are few quantitative studies directed at determining grain size distribution of debris dams, mainly because customary bulk sieve analyses are impractical when dealing with materials often ranging in size from blocks tens of cubic metres in size, to microscopic particles. This paper presents results derived from the application of two main sampling methods on 42 landslide dams, (a) volumetric analysis and (b) grid by number analysis (here presented in two variants). These techniques allow us to obtain very similar grain size distributions for the coarser part of the debris material, while some differences persist for the finer fraction. The paper would also like to highlight the importance of getting accurate grain size data, with particular reference to the determination of the hydrograph derived from a landslide dam failure. Many deterministic models attempt to approach this problem, by taking into account only the median percentile (D50) of the cumulate grain size distribution. However, in most of the selected cases, a marked bimodal distribution was found in the frequency diagrams, so the fiftieth percentile (D50) is often one of the less representative grain size classes. It should thus be taken carefully into account that this choice could be misleading, as it is not necessarily justified by the physical evidence. Towards Higher-Order DL-Lite. dblphttp://www.bibsonomy.org/bibtex/2a6327255b4a7905a6298787645737c24/dblp dblp 2008-06-26T00:00:00+02:00 dblp
Towards Higher-Order DL-Lite.
Giuseppe De Giacomo and Maurizio Lenzerini and Riccardo Rosati Description Logics (2008)
to dblp by dblp on 2008-06-26 00:00:00 ]]> Description Logicsconf/dlog/2008CEUR Workshop ProceedingsTowards Higher-Order DL-Lite.3532008dblp 2008-06-26 00:00:00.0 Actions and Programs over Description Logic Ontologies. dblphttp://www.bibsonomy.org/bibtex/21118246dd32809e58aabbacaf2e404ed/dblp dblp 2008-06-24T00:00:00+02:00 dblp
Actions and Programs over Description Logic Ontologies.
Diego Calvanese and Giuseppe De Giacomo and Maurizio Lenzerini and Riccardo Rosati Description Logics (2007)
to dblp by dblp on 2008-06-24 00:00:00 ]]> Description Logicsconf/dlog/2007CEUR Workshop ProceedingsActions and Programs over Description Logic Ontologies.2502007dblp 2008-06-24 00:00:00.0 Automatic Learning of Repair Strategies for Web Services. dblphttp://www.bibsonomy.org/bibtex/2b0365f24235d185f2de724bbf8822241/dblp dblp 2008-06-09T00:00:00+02:00 dblp
Automatic Learning of Repair Strategies for Web Services.
Barbara Pernici and Anna Maria Rosati ECOWS 119-128 (2007)
to dblp by dblp on 2008-06-09 00:00:00 ]]> ECOWSconf/ecows/2007119-128Automatic Learning of Repair Strategies for Web Services.2007dblp 2008-06-09 00:00:00.0 Can OWL Model Football Leagues? dblphttp://www.bibsonomy.org/bibtex/2c18f596e3e26bf262b4f9c57f97f7996/dblp dblp 2008-05-30T00:00:00+02:00 dblp
Can OWL Model Football Leagues?
Diego Calvanese and Giuseppe De Giacomo and Domenico Lembo and Maurizio Lenzerini and Riccardo Rosati OWLED (2007)
to dblp by dblp on 2008-05-30 00:00:00 ]]> OWLEDconf/owled/2007CEUR Workshop ProceedingsCan OWL Model Football Leagues?2582007dblp 2008-05-30 00:00:00.0 A Faithful Integration of Description Logics with Logic Programming. http://www.bibsonomy.org/bibtex/20b73dd232a83b44108a634d6debde070/vzach vzach 2008-05-29T09:33:38+02:00 semanticWeb, semanticWebRules
A Faithful Integration of Description Logics with Logic Programming.
B. Motik and R. Rosati IJCAI 477-482 (2007)
to semanticWeb, semanticWebRules by vzach on 2008-05-29 09:33:38 ]]> IJCAI477-482A Faithful Integration of Description Logics with Logic Programming.2007semanticWeb, semanticWebRules 2008-05-29 09:33:38.0 MASTRO-I: Efficient Integration of Relational Data through DL Ontologies. dblphttp://www.bibsonomy.org/bibtex/25a814277c195e148cee340e7e052b192/dblp dblp 2008-05-29T00:00:00+02:00 dblp
MASTRO-I: Efficient Integration of Relational Data through DL Ontologies.
Diego Calvanese and Giuseppe De Giacomo and Maurizio Lenzerini and Domenico Lembo and Antonella Poggi and Riccardo Rosati Description Logics (2007)
to dblp by dblp on 2008-05-29 00:00:00 ]]> Description Logicsconf/dlog/2007CEUR Workshop ProceedingsMASTRO-I: Efficient Integration of Relational Data through DL Ontologies.2502007dblp 2008-05-29 00:00:00.0 On Conjunctive Query Answering in EL. dblphttp://www.bibsonomy.org/bibtex/2646186c77e5d788fa85695bb196ebf44/dblp dblp 2008-05-29T00:00:00+02:00 dblp
On Conjunctive Query Answering in EL.
Riccardo Rosati Description Logics (2007)
to dblp by dblp on 2008-05-29 00:00:00 ]]> Description Logicsconf/dlog/2007CEUR Workshop ProceedingsOn Conjunctive Query Answering in EL.2502007dblp 2008-05-29 00:00:00.0 Finite model reasoning in DL-Lite http://www.bibsonomy.org/bibtex/2c637e37e6eb5932d4550f10f0e84c7a2/eswc2008 eswc2008 2008-05-28T14:50:04+02:00 complexity computational description formal-languages-2 logics ontologies reasoning
Finite model reasoning in DL-Lite
Riccardo Rosati Proceedings of the 5th European Semantic Web Conference (2008)
to complexity computational description formal-languages-2 logics ontologies reasoning by eswc2008 on 2008-05-28 14:50:04 ]]> Berlin, HeidelbergProceedings of the 5th European Semantic Web ConferenceJuneLNCSFinite model reasoning in DL-Lite2008complexity computational description formal-languages-2 logics ontologies reasoning 2008-05-28 14:50:04.0The semantics of OWL-DL and its subclasses are based on the classical semantics of first-order logic, in which the interpretation domain may be an infinite set. This constitutes a serious expressive limitation for such ontology languages, since, in many real application scenarios for the Semantic Web, the domain of interest is actually finite, although the exact cardinality of the domain is unknown. Hence, in these cases the formal semantics of the OWL-DL ontology does not coincide with its intended semantics. In this paper we start filling this gap, by considering the subclasses of OWL-DL which correspond to the logics of the DL-Lite family, and studying reasoning over finite models in such logics. In particular, we mainly consider two reasoning problems: deciding satisfiability of an ontology, and answering unions of conjunctive queries (UCQs) over an ontology. We first consider the description logic DL-Lite_R and show that, for the two above mentioned problems, finite model reasoning coincides with classical reasoning, i.e., reasoning over arbitrary, unrestricted models. Then, we analyze the description logics DL-Lite_F and DL_Lite_A. Differently from DL-Lite_R, in such logics finite model reasoning does not coincide with classical reasoning. To solve satisfiability and query answering over finite models in these logics, we define techniques which reduce polynomially both the above reasoning problems over finite models to the corresponding problem over arbitrary models. Thus, for all the DL-Lite languages considered, the good computational properties of satisfiability and query answering under the classical semantics also hold under the finite model semantics. Moreover, we have effectively and easily implemented the above techniques, extending the DL-Lite reasoner QuOnto with support for finite model reasoning. Finite Model Reasoning in DL-Lite. dblphttp://www.bibsonomy.org/bibtex/20195c72fead5415896b3ba0100a4203d/dblp dblp 2008-05-27T00:00:00+02:00 dblp
Finite Model Reasoning in DL-Lite.
Riccardo Rosati ESWC 215-229 (2008)
to dblp by dblp on 2008-05-27 00:00:00 ]]> ESWCconf/esws/2008215-229Lecture Notes in Computer ScienceFinite Model Reasoning in DL-Lite.50212008dblp 2008-05-27 00:00:00.0