kw.\*:("Logique description")
Results 1 to 25 of 251
Selection :
On uniform word problems involving bridging operators on distributive latticesSOFRONIE-STOKKERMANS, Viorica.Lecture notes in computer science. 2002, pp 235-250, issn 0302-9743, isbn 3-540-43929-3, 16 p.Conference Paper
Exploiting pseudo models for TBox and ABox reasoning in expressive description logicsHAARSLEV, Volker; MÖLLER, Ralf; TURHAN, Anni-Yasmin et al.Lecture notes in computer science. 2001, pp 61-75, issn 0302-9743, isbn 3-540-42254-4Conference Paper
Description logics for ontologiesSATTLER, Ulrike.Lecture notes in computer science. 2003, pp 96-116, issn 0302-9743, isbn 3-540-40576-3, 21 p.Conference Paper
Description Logics : Representation and ReasoningKRÖTZSCH, Markus; SIMANCIK, František; HORROCKS, Ian et al.IEEE intelligent systems. 2014, Vol 29, Num 1, pp 12-19, issn 1541-1672, 8 p.Article
NEXPTIME-complete Description logics with concrete domainsLUTZ, Carsten.Lecture notes in computer science. 2001, pp 45-60, issn 0302-9743, isbn 3-540-42254-4Conference Paper
Some Complexity Results on Fuzzy Description LogicsBONATTI, Piero A; TETTAMANZI, Andrea G. B.Lecture notes in computer science. 2006, pp 19-24, issn 0302-9743, isbn 3-540-31019-3, 1Vol, 6 p.Conference Paper
Intensional formalization of conceptual structuresOLDAGER, Nikolaj.Lecture notes in computer science. 2003, pp 69-82, issn 0302-9743, isbn 3-540-40576-3, 14 p.Conference Paper
Package-based description logics : Preliminary resultsJIE BAO; CARAGEA, Doina; HONAVAR, Vasant G et al.Lecture notes in computer science. 2006, pp 967-969, issn 0302-9743, isbn 3-540-49029-9, 1Vol, 3 p.Conference Paper
Semantic web research trends and directionsGOLBECK, Jennifer; GRAU, Bernardo Cuenca; HALASCHEK-WIENER, Christian et al.Lecture notes in computer science. 2005, pp 160-169, issn 0302-9743, isbn 3-540-30506-8, 1Vol, 10 p.Conference Paper
Learnability of description logic programsKIETZ, Jörg-Uwe.Lecture notes in computer science. 2003, pp 117-132, issn 0302-9743, isbn 3-540-00567-6, 16 p.Conference Paper
ODB-Tools : A Description Logics based tool for schema validation and semantic query optimization in object oriented databasesBERGAMASCHI, S; SARTORI, C; BENEVENTANO, D et al.Lecture notes in computer science. 1997, pp 435-438, issn 0302-9743, isbn 3-540-63576-9Conference Paper
From tableaux to automata for Description logicsBAADER, Franz; HLADIK, Jan; LUTZ, Carsten et al.Lecture notes in computer science. 2003, pp 1-32, issn 0302-9743, isbn 3-540-20101-7, 32 p.Conference Paper
The complexity of finite model reasoning in description logicsLUTZ, Carsten; SATTLER, Ulrike; TENDERA, Lidia et al.Lecture notes in computer science. 2003, pp 60-74, issn 0302-9743, isbn 3-540-40559-3, 15 p.Conference Paper
Anaphoric definitions in description logicMARX, Maarten; DASTANI, Mehdi.Lecture notes in computer science. 2002, pp 410-417, issn 0302-9743, isbn 3-540-00028-3, 8 p.Conference Paper
RACER system descriptionHAARSLEV, Volker; MÖLLER, Ralf.Lecture notes in computer science. 2001, pp 701-705, issn 0302-9743, isbn 3-540-42254-4Conference Paper
Une logique de descriptions comme cadre formel d'un système de raisonnement à partir de cas = Formalizing a case-based reasoning system with a description logicCOUPEY, P; SALOTTI, S.Revue d'intelligence artificielle. 1997, Vol 11, Num 2, pp 127-177, issn 0992-499XArticle
Knowledge-intensive induction of terminologies from metadataESPOSITO, Floriana; FANIZZI, Nicola; IANNONE, Luigi et al.Lecture notes in computer science. 2004, pp 441-455, issn 0302-9743, isbn 3-540-23798-4, 15 p.Conference Paper
Objets et représentation, un couple en devenir = Object and representation, a growing coupleNAPOLI, Amedeo; CARRE, Bernard; DUCOURNAU, Roland et al.L' Objet (Paris). 2004, Vol 10, Num 4, pp 61-81, issn 1262-1137, 21 p.Article
Querying the Semantic Web: A formal approachHORROCKS, Ian; TESSARIS, Sergio.Lecture notes in computer science. 2002, pp 177-191, issn 0302-9743, isbn 3-540-43760-6, 15 p.Conference Paper
Outils de topologie algébrique pour la gestion de l'hétérogénéité sémantique entre agents dialogiques = Tools from algebraic topology for the managment of semantical heterogeneity among dialogical agentsValencia, Erika; Sansonnet, Jean-Paul.2000, 230 p.Thesis
Using Intuitionistic Logic as a basis for Legal OntologiesHAEUSLER, Edward Hermann; DE PAIVA, Valeria; RADEMAKER, Alexandre et al.Workshop on legal ontologies and artificial intelligence techniques. 2010, pp 69-76, 8 p.Conference Paper
Contextual ontologies : Motivations, challenges, and solutionsBENSLIMANE, Djamal; ARARA, Ahmed; FALQUET, Gilles et al.Lecture notes in computer science. 2006, pp 168-176, issn 0302-9743, isbn 3-540-46291-0, 1Vol, 9 p.Conference Paper
Compound Term Composition algebra: The semanticsTZITZIKAS, Yannis; ANALYTI, Anastasia; SPYRATOS, Nicolas et al.Journal on data semantics II. Lecture notes in computer science. 2005, pp 58-84, issn 0302-9743, isbn 3-540-24208-2, 27 p.Book Chapter
A tableau algorithm for description logics with concrete domains and GCIsLUTZ, Carsten; MILILICIC, Maja.Lecture notes in computer science. 2005, pp 201-216, issn 0302-9743, isbn 3-540-28931-3, 16 p.Conference Paper
A fuzzy extension of description logic ALCHYANHUI LI; JIANJIANG LU; BAOWEN XU et al.Lecture notes in computer science. 2005, pp 152-161, issn 0302-9743, isbn 3-540-29896-7, 1Vol, 10 p.Conference Paper