Reasoning within expressive fuzzy rough description logicsYUNCHENG JIANG; JU WANG; PEIMIN DENG et al.Fuzzy sets and systems. 2009, Vol 160, Num 23, pp 3403-3424, issn 0165-0114, 22 p.Article

The complexity of finite model reasoning in description logicsLUTZ, Carsten; SATTLER, Ulrike; TENDERA, Lidia et al.Information and computation (Print). 2005, Vol 199, Num 1-2, pp 132-171, issn 0890-5401, 40 p.Conference Paper

A formal representation for messages containing compositional expressionsELKIN, Peter L; BROWN, Steven H; LINCOLN, Michael J et al.International journal of medical informatics. 2003, Vol 71, Num 2-3, pp 89-102, issn 1386-5056, 14 p.Article

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

Foundations of instance level updates in expressive description logicsLIU, Hongkai; LUTZ, Carsten; MILICIEC, Maja et al.Artificial intelligence (General ed.). 2011, Vol 175, Num 18, pp 2170-2197, issn 0004-3702, 28 p.Article

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

A knowledge encapsulation approach to ontology modularizationENSAN, Faezeh; WEICHANG DU.Knowledge and information systems (Print). 2011, Vol 26, Num 2, pp 249-283, issn 0219-1377, 35 p.Article

Model-theoretic inseparability and modularity of description logic ontologiesKONEV, Boris; LUTZ, Carsten; WALTHER, Dirk et al.Artificial intelligence (General ed.). 2013, Vol 203, pp 66-103, issn 0004-3702, 38 p.Article

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

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

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

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

Defeasible description logicsGOVERNATORI, Guido.Lecture notes in computer science. 2004, pp 98-112, issn 0302-9743, isbn 3-540-23842-5, 15 p.Conference Paper

A classification of ontology modificationLEE, Kevin; MEYER, Thomas.Lecture notes in computer science. 2004, pp 248-258, issn 0302-9743, isbn 3-540-24059-4, 11 p.Conference Paper

A new n-ary existential quantifier in description logicsBAADER, Franz; KARABAEV, Eldar; LUTZ, Carsten et al.Lecture notes in computer science. 2005, pp 18-33, issn 0302-9743, isbn 3-540-28761-2, 16 p.Conference Paper

Open world reasoning in DatalogLUKACSY, Gergely; NAGY, Zsolt.Lecture notes in computer science. 2005, pp 427-428, issn 0302-9743, isbn 3-540-29208-X, 1Vol, 2 p.Conference Paper