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

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

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

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

N-SHOQ(D): A nonmonotonic extension of description logic SHOQ(D)SONGXIN WANG; SHUIGENG ZHOU; FEI WANG et al.Lecture notes in computer science. 2004, pp 912-915, issn 0302-9743, isbn 3-540-21371-6, 4 p.Conference Paper

Efficient evaluation of candidate hypotheses in AC-logLISI, Francesca A; ESPOSITO, Floriana.Lecture notes in computer science. 2004, pp 216-233, issn 0302-9743, isbn 3-540-22941-8, 18 p.Conference Paper

CEL : A polynomial-time reasoner for life science ontologiesBAADER, Franz; LUTZ, Carsten; SUNTISRIVARAPORN, Boontawee et al.Lecture notes in computer science. 2006, pp 287-291, issn 0302-9743, isbn 3-540-37187-7, 1Vol, 5 p.Conference Paper

Tractable feature generation through description logics with value and number restrictionsFANIZZI, Nicola; LANNONE, Luigi; DI MAURO, Nicola et al.Lecture notes in computer science. 2006, pp 629-638, issn 0302-9743, isbn 3-540-35453-0, 1Vol, 10 p.Conference Paper

Rules and queries with ontologies: A unified logical frameworkFRANCONI, Enrico; TESSARIS, Sergio.Lecture notes in computer science. 2004, pp 50-60, issn 0302-9743, isbn 3-540-22961-2, 11 p.Conference Paper

Reducing OWL entailment to description logic satisfiabilityHORROCKS, Ian; PATEL-SCHNEIDER, Peter F.Lecture notes in computer science. 2003, pp 17-29, issn 0302-9743, isbn 3-540-20362-1, 13 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

Autonomous Ontology : Operations and Semantics OR Local Semantics with Semantic Binding on Foreign EntityYUTING ZHAO; SERAFINI, Luciano; GIUNCHIGLIA, Fausto et al.Lecture notes in computer science. 2006, pp 646-652, issn 0302-9743, isbn 3-540-38329-8, 1Vol, 7 p.Conference Paper

On keys and functional dependencies as first-class citizens in description logicsTOMAN, David; WEDDELL, Grant.Lecture notes in computer science. 2006, pp 647-661, issn 0302-9743, isbn 3-540-37187-7, 1Vol, 15 p.Conference Paper

The knowledge cartography : A new approach to reasoning over description logics ontologiesGOCZYLA, Krzysztof; GRABOWSKA, Teresa; WALOSZEK, Wojciech et al.Lecture notes in computer science. 2006, pp 293-302, issn 0302-9743, isbn 3-540-31198-X, 1Vol, 10 p.Conference Paper

Principles and practice of constraint programming - CP 2005 (11th international conference, CP 2005, Sitges, Spain, October 1-5, 2005, proceedings)Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-29238-1, 1Vol, XX-887 p, isbn 3-540-29238-1Conference Proceedings

Nonmonotonic ontological and rule-based reasoning with extended conceptual logic programsHEYMANS, Stijn; VAN NIEUWENBORGH, Davy; VERMEIR, Dirk et al.Lecture notes in computer science. 2005, pp 392-407, issn 0302-9743, isbn 3-540-26124-9, 16 p.Conference Paper