Search results for "description"

showing 10 items of 250 documents

Semantic Trajectory Modeling for Dynamic Built Environments

2017

This paper presents a data model to capture moving and changing objects in the context of dynamic built environment. Building elements are subject to change which represents semantic trajectories crossing trajectories of users. These semantic trajectories in dynamics built environment permit to capture fine-grained activities and behaviors of users and objects. The data model is based on ontology and description logics to capture logic constraints on semantic trajectories.

[INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO]Computer science[INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]0211 other engineering and technologies[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]Context (language use)[INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS]02 engineering and technologyOntology (information science)SemanticsData modelingData modelDescription logicHuman–computer interaction020204 information systems0202 electrical engineering electronic engineering information engineeringTrajectory[ INFO.INFO-LO ] Computer Science [cs]/Logic in Computer Science [cs.LO]Built environment[ INFO.INFO-DS ] Computer Science [cs]/Data Structures and Algorithms [cs.DS]ComputingMilieux_MISCELLANEOUS021101 geological & geomatics engineering
researchProduct

Semantic Mappings in Description Logics for Spatio-temporal Database Schema Integration

2005

International audience; The interoperability problem arises in heterogeneous systems where different data sources coexist and there is a need for meaningful information sharing. One of the most representive realms of diversity of data representation is the spatio-temporal domain. Spatio-temporal data are most often described according to multiple and greatly diverse perceptions or viewpoints, using different terms and with heterogeneous levels of detail. Reconciling this heterogeneity to build a fully integrated database is known to be a complex and currently unresolved problem, and few formal approaches exist for the integration of spatio-temporal databases. The paper discusses the interope…

[INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO][INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]Theoretical computer scienceComputer scienceNCCR-MICSmedia_common.quotation_subjectNCCR-MICS/CL4Database schema[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]02 engineering and technologyExternal Data RepresentationConceptual schemaDescription logicSemantic mapping020204 information systems0202 electrical engineering electronic engineering information engineeringConceptual model[INFO.INFO-DB] Computer Science [cs]/Databases [cs.DB]020201 artificial intelligence & image processingSemantic Webmedia_commonInformation integration
researchProduct

Temporal Logic To Query Semantic Graphs Using The Model Checking Method

2012

International audience; Semantic interoperability problems have found their solutions due to the use of languages and techniques from the Semantic Web. The proliferations of ontologies and meta-information have improved the understanding of information and the relevance of search engine responses. However, the construction of semantic graphs is a source of numerous errors of interpretation or modeling, and scalability remains a major problem. The processing of large semantic graphs is a limit to the use of semantics in current information systems. The work presented in this paper is part of a new research at the border of two areas: the semantic web and the model checking. This line of rese…

[INFO.INFO-WB] Computer Science [cs]/WebComputer science[INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE][ INFO.INFO-WB ] Computer Science [cs]/WebSPARQL.02 engineering and technology[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE][ INFO.INFO-SE ] Computer Science [cs]/Software Engineering [cs.SE]Ontology (information science)computer.software_genreQuery languagetemporal logic querySPARQLSocial Semantic WebSearch engineDescription logicSemantic similaritytemporal logicArtificial IntelligenceWeb query classificationSemantic computing0202 electrical engineering electronic engineering information engineeringInformation systemSemantic analyticsSPARQLSemantic Web StackRDFSemantic Webcomputer.programming_language[INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]Web search querySemantic Web Rule LanguageProgramming languagebusiness.industry[INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC][INFO.INFO-WB]Computer Science [cs]/Web020207 software engineeringcomputer.file_formatSemantic interoperabilitymodel checking[ INFO.INFO-SC ] Computer Science [cs]/Symbolic Computation [cs.SC]Human-Computer InteractionSemantic graph020201 artificial intelligence & image processingbusinesscomputerSoftwareRDF query language
researchProduct

OntoVersionGraph : a change management methodology dedicated to formal ontologies and their user views in a collaborative context

2014

The world changes over time, impacting the knowledge of every subdomain it contains. Therefore systems describing the knowledge of a certain domain should be able to consider changes occurred to keep its knowledge representation up-to-date. Formal ontologies are one of them: they explicitly and formally represent the knowledge of a domain in all its forms and modes of existence. Collaboratively developed, a formal ontology allows the domain users to understand each other by sharing the same terminology despite the different assumptions they have on the domain conceptualization. However, due to its completeness, the complexity of its conceptualization can sometimes make the domain knowledge …

[INFO.INFO-WB] Computer Science [cs]/WebOntology VersioningFormal OntologyGestion du changement dans les ontologiesDescription LogicOntologie formelleOntology EvolutionLogique de descriptionKnowledge ManagementOntoVersionGraphEvolution d'ontologieOntology Change ManagementGestion du changementVersioning d'ontologieWeb sémantique[INFO.INFO-MO] Computer Science [cs]/Modeling and SimulationSemantic WebOWL[INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
researchProduct

Un modèle développemental des capacités d’élaboration: la redescription des représentations

2021

International audience

[SCCO.PSYC] Cognitive science/Psychology[SCCO.PSYC]Cognitive science/Psychologyredescription des représentationsmodèle cognitif développementalComputingMilieux_MISCELLANEOUS
researchProduct

Salvia reflexa Hornem. (Lamiaceae), adventice nouvelle pour la Fance, découverte en Côte d'Or

2007

National audience

[SDV] Life Sciences [q-bio][SDE] Environmental SciencesNOUVELLE ESPECE[SDV]Life Sciences [q-bio][SDE]Environmental SciencesDESCRIPTIONComputingMilieux_MISCELLANEOUS
researchProduct

Crustacés amphipodes de surface (Gammares d'eau douce)

2012

EA MERS CT3; National audience; L’ouvrage de Piscart & Bollache présente une clef de détermination actualisée des amphipodes de surface de la France métropolitaine. Les espèces natives et invasives sont décrites, avec une carte de la répartition de chaque espèce. L’ouvrage est agrémenté d’une partie décrivant l’écologie des amphipodes, leur comportement et leurs pathogènes les plus fréquemment rencontrés.

[SDV] Life Sciences [q-bio][SDE] Environmental Sciencescarte de répartition[SDV]Life Sciences [q-bio][SDV.BID.SPT] Life Sciences [q-bio]/Biodiversity/Systematics Phylogenetics and taxonomy[SDE]Environmental Sciences[SDV.BV]Life Sciences [q-bio]/Vegetal Biologydescription des espèces[SDV.BV] Life Sciences [q-bio]/Vegetal Biology[SDV.BID.SPT]Life Sciences [q-bio]/Biodiversity/Systematics Phylogenetics and taxonomyFrance métropolitaine[ SDV.BID.SPT ] Life Sciences [q-bio]/Biodiversity/Systematics Phylogenetics and taxonomyamphipodes de surface
researchProduct

Description, légende, intitulé : les tribulations du titre au XVIIe siècle

2012

[SHS.DROIT]Humanities and Social Sciences/Law[SHS.DROIT] Humanities and Social Sciences/LawXVIIe siècledescriptionintitulélégendetribulations du titre[ SHS.DROIT ] Humanities and Social Sciences/Law
researchProduct

"Notes sur le rôle de la figure de comparaison dans la description des paysages de la Comédie dantesque"

2006

[SHS.LITT] Humanities and Social Sciences/Literature"paysage"comparaison"comparaison"[SHS.LITT]Humanities and Social Sciences/Literaturedescriptionpaysage[ SHS.LITT ] Humanities and Social Sciences/Literature"description"
researchProduct

In Memoriam James Joyce de Hugh MacDiarmid : indescriptible poème ?

2011

International audience; La description et la compréhension du poème In Memoriam James Joyce, de Hugh MacDiarmid, ont, depuis sa parution en 1955, posé bon nombre de problèmes aux critiques de son œuvre. Leurs descriptions, en particulier celles des connections entre les parties et de la cohérence de ce poème de 250 pages, sont symptomatiques d’une rencontre et d’une extrême tension entre analyse critique, description et subjectivité. Dans ce flou méthodologique, apparaissent dans tous les textes critiques trois procédés principaux : l’adjectivisation, la nominalisation et le recours à la métaphore. Plongeant la description critique dans le royaume de la subjectivité et bien souvent de la mo…

[SHS.LITT] Humanities and Social Sciences/Literature[SHS.LITT]Humanities and Social Sciences/LiteraturedescriptionHugh MacDiarmid[SHS] Humanities and Social Sciences[SHS]Humanities and Social Sciences
researchProduct