The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "Description Logics"( http://dblp.L3S.de/Venues/Description_Logics )

URL (DBLP): http://dblp.uni-trier.de/db/conf/dlog

Publication years (Num. hits)
1991 (26) 1992 (25) 1996 (38) 1997 (32) 1998 (34) 1999 (41) 2000 (29) 2001 (21) 2002 (34) 2003 (39) 2004 (32) 2005 (35) 2006 (36) 2007 (76) 2008 (57) 2009 (62) 2010 (43) 2011 (58) 2012 (59) 2013 (75) 2014 (71) 2015 (64) 2016 (46) 2017 (41) 2018 (48)
Publication types (Num. hits)
inproceedings(1097) proceedings(25)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 1122 publication records. Showing 1122 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Yizheng Zhao, Hao Feng, Ruba Alassaf, Warren Del-Pinto, Renate A. Schmidt The FAME Family: A Family of Reasoning Tools for Forgetting in Expressive Description Logics. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Christian Kindermann, Daniel P. Lupp, Uli Sattler, Evgenij Thorstensen Generating Ontologies from Templates: A Rule-Based Approach for Capturing Regularity. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Konstantina Bereta, George Papadakis 0001, Manolis Koubarakis SPARQLing-Up the Web on-the-fly using Ontologies and Mappings. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Alisa Kovtunova, Rafael Peñaloza Cutting Diamonds: Temporal DLs with Probabilistic Distributions over Data. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Rafael Kiesel, Erman Acar, Stefan Schlobach Preferential Default Reasoning on the Semantic Web. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Jacopo Urbani, Markus Krötzsch, Ceriel J. H. Jacobs, Irina Dragoste, David Carral Efficient Model Construction for Horn Logic with VLog: Extended Abstract. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Anneke Bötcher, Carsten Lutz, Frank Wolter Complete Approximations of Horn DL Ontologies. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther 0002 Computing Minimal Projection Modules for Conjunctive Queries. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo, Federico Ulliana A Single Approach to Decide Chase Termination on Linear Existential Rules. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Júlia Pukancová, Martin Homola ABox Abduction for Description Logics: The Case of Multiple Observations. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Renata Wassermann Revising Ontologies. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso, Wil M. P. van der Aalst Conceptual Schema Transformation in Ontology-based Data Access (Extended Abstract). Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Peter Paulovics, Júlia Pukancová, Martin Homola SIVA: An Educational Tool for the Tableau Reasoning Algorithm. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Dimitris Bilidas, Manolis Koubarakis Efficient Duplicate Elimination in SPARQL to SQL Translation. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Leonard Botha, Thomas Meyer, Rafael Peñaloza The Bayesian Description Logic BALC. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Michael Zakharyaschev, Stanislav Kikot, Olga Gerasimova Towards a Data Complexity Classification of Ontology-Mediated Queries with Covering. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Stanislav Kikot, Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev On the Data Complexity of Ontology-Mediated Queries with MTL Operators over Timed Words. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Ana Ozaki, Rafael Peñaloza Provenance in Ontology-based Data Access. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Fabio Papacchini, Frank Wolter A Van Benthem Theorem for Horn Description and Modal Logic. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Humaira Farid, Volker Haarslev Handling Nominals and Inverse Roles using Algebraic Reasoning. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Franz Baader, Adrian Nuradiansyah Towards Privacy-Preserving Ontology Publishing. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Sascha Jongebloed, Thomas Schneider 0002 Ontology Partitioning Using E-Connections Revisited. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Drahomír Mrózek, Júlia Pukancová, Martin Homola ABox Abduction Solver Exploiting Multiple DL Reasoners. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Ognjen Savkovic, Evgeny Kharlamov, Guohui Xiao, Gulnar Mehdi, Elem Güzel Kalayci, Werner Nutt, Mikhail Roshchin, Ian Horrocks Theoretical Characterization of Signal Diagnostic Processing Language. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Maximilian Pensel, Anni-Yasmin Turhan Computing Standard Inferences under Rational and Relevant Semantics in Defeasible EL_bot. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Magdalena Ortiz, Thomas Schneider 0002 (eds.) Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1David Toman, Grant E. Weddell Identity Resolution in Conjunctive Querying over DL-Based Knowledge Bases. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza Making Repairs in Description Logics More Gentle (Extended Abstract). Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Franz Baader, Oliver Fernandez Gil, Maximilian Pensel Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Tanja Perleth, Marvin R. G. Schiller, Birte Glimm Applying a Model of Text Comprehension to Automated Verbalizations of EL Derivations. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Ana Ozaki, Markus Krötzsch, Sebastian Rudolph Happy Ever After: Temporally Attributed Description Logics. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Sebastian Rudolph, Mantas Simkus Satisfiability in the Triguarded Fragment of First-Order Logic. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1David Carral, Irina Dragoste, Markus Krötzsch Tractable Query Answering for DL Ontologies and Existential Rules: Extended Abstract. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Damir Nesic, Mattias Nyberg Verifying Contract-Based Specifications of Product Lines using Description Logic. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Meghyn Bienvenu Inconsistency-Tolerant Ontology-Based Data Access Revisited: Taking Mappings into Account. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Manuel Namici, Giuseppe De Giacomo Comparing Query Answering in OBDA Tools over W3C-Compliant Specifications. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis A Dynamic Extension of ALCO for Repairing via Preferred Updates. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Alessandro Artale, Andrea Mazzullo, Ana Ozaki Temporal Description Logics over Finite Traces. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Cristina Feier, Carsten Lutz, Frank Wolter From Conjunctive Queries to SPARQL Queries in Ontology-Mediated Querying. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Katinka Böhm, Magdalena Ortiz A Tool for Building Topic-specific Ontologies Using a Knowledge Graph. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Despoina Trivela, Giorgos Stoilos, Vasilis Vassalos Querying Expressive DL Ontologies under the ICAR Semantics. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Lukas Grätz Concepts as Modal Operators in Description Logics. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Medina Andresel, Yazmin Angélica Ibáñez-García, Magdalena Ortiz, Mantas Simkus Taming Complex Role Inclusions for DL-Lite. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Denny Vrandecic Toward an Abstract Wikipedia. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Jieying Chen, Yue Ma, Dirk Walther 0002 Computing Best Ontology Excerpts via Weighted Partial Max-SAT Solving. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Víctor Gutiérrez-Basulto, Jean Christoph Jung, Leif Sabellek Query-by-Example for Expressive Horn Description Logics. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Lidia Tendera Decidability Frontier for Fragments of First-Order Logic with Transitivity. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Mario Ricardo Cruz Duarte, Boris Konev, Ana Ozaki Exact Learning of EL Ontologies. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter Horn Rewritability vs PTime Query Answering for Description Logic TBoxes. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Markus Krötzsch Ontologies for Knowledge Graphs? Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract). Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, and Nominals. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Alexey Ignatiev, João Marques-Silva, Carlos Mencía, Rafael Peñaloza Debugging EL+ Ontologies through Horn MUS Enumeration. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1David Toman, Grant E. Weddell On Partial Features in the DLF Dialects of Description Logic with Inverse Features. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Víctor Gutiérrez-Basulto, Yazmin Angélica Ibáñez-García, Jean Christoph Jung On Query Answering in Description Logics with Number Restrictions on Transitive Roles. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Gian Luca Pozzato, Riccardo Renzulli An Efficient Reasoner for Description Logics of Typicality and Rational Closure. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Yuri Malheiros, Fred Freitas Unification in EL for Competency Question Generation. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Yevgeny Kazakov, Peter Skocovsky Enumerating Justifications using Resolution. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Stefan Borgwardt, Marco Cerami, Rafael Peñaloza Łukasiewicz Fuzzy EL is Undecidable. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Wil M. P. van der Aalst, Alessandro Artale, Marco Montali, Simone Tritini Object-Centric Behavioral Constraints: Integrating Data and Declarative Process Modelling. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Yevgeny Kazakov, Denis K. Ponomaryov On the Complexity of Semantic Integration of OWL Ontologies. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Abdelraouf Hecham, Abdallah Arioua, Gem Stapleton, Madalina Croitoru An Empirical Evaluation of Argumentation in Explaining Inconsistency-Tolerant Query Answering. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Yizheng Zhao, Renate A. Schmidt Role Forgetting for ALCOQH(universal role)-Ontologies Using an Ackermann-Based Approach. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Sebastian Rudolph, Lukas Schweizer Not Too Big, Not Too Small... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Christos Rantsoudis, Guillaume Feuillade, Andreas Herzig Repairing ABoxes through Active Integrity Constraints. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Roberto Confalonieri 0001, Oliver Kutz, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Marco Schorlemmer, Nicolas Troquard Coherence, Similarity, and Concept Generalisation. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Olga Gerasimova, Stanislav Kikot, Vladimir V. Podolskii, Michael Zakharyaschev On the Data Complexity of Ontology-Mediated Queries with a Covering Axiom. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Franz Baader, Patrick Koopmann, Anni-Yasmin Turhan Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract). Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Marvin R. G. Schiller, Florian Schiller, Birte Glimm Testing the Adequacy of Automated Explanations of EL Subsumptions. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Katarina Britz, Ivan José Varzinczak Towards Defeasible SROIQ. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Carsten Lutz, Leif Sabellek Ontology-Mediated Querying with EL: Trichotomy and Linear Datalog Rewritability. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Nadia Labai, Martin Homola, Magdalena Ortiz Constructive Satisfiability Procedure for ALCP(Z) (Preliminary Report). Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev Optimal Nonrecursive Datalog Rewritings of Linear TGDs and Bounded (Hyper)Tree-Width Queries. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Gianluca Cima Preliminary Results on Ontology-based Open Data Publishing. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev On the Parametrised Complexity of Tree-Shaped Ontology-Mediated Queries in OWL 2 QL. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Franz Baader, Daniel Borchmann, Adrian Nuradiansyah Preliminary Results on the Identity Problem in Description Logic Ontologies. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Loris Bozzato, Luciano Serafini, Gaetano Calabrese CKR: Live Demo: Using Contexts and Exceptions for Representing Evolving Knowledge States. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Markus Krötzsch, Maximilian Marx 0001, Ana Ozaki, Veronika Thost Reasoning with Attributed Description Logics. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Razieh Mehri, Volker Haarslev Applying Machine Learning to Enhance Optimization Techniques for OWL Reasoning. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Henrik Forssell, Daniel P. Lupp, Martin G. Skjæveland, Evgenij Thorstensen Reasonable Macros for Ontology Construction and Maintenance. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Arash Karimi, Heng Zhang 0006, Jia-Huai You Beyond Skolem Chase: A Study of Finite Chase under Standard Chase Variant. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Nikoo Zolfaghar Karahroodi, Volker Haarslev A Consequence-based Algebraic Calculus for SHOQ. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Júlia Pukancová, Martin Homola Tableau-Based ABox Abduction for the ALCHO Description Logic. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Alessandro Artale, Birte Glimm, Roman Kontchakov (eds.) Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Germán Alejandro Braun, Matias Pol'la, Laura Andrea Cecchi, Agustina Buccella, Pablo R. Fillottrani, Alejandra Cechich A DL Semantics for Reasoning over OVM-based Variability Models. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Yevgeny Kazakov, Pavel Klinov, Alexander Stupnikov Towards Reusable Explanation Services in Protege. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Markus Brenner, Birte Glimm Incremental Materialization Update via Abstraction Refinement. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Peter Hansen 0002, Carsten Lutz Computing FO-Rewritings in EL in Practice: from Atomic to Conjunctive Queries. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Labinot Bajraktari, Magdalena Ortiz, Mantas Simkus Clopen Knowledge Bases: Combining Description Logics and Answer Set Programming. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Yizheng Zhao, Renate A. Schmidt Forgetting Concept and Role Symbols in ALCOIH\mu+(\top, \sqcap)-Ontologies. Search on Bibsonomy Description Logics The full citation details ... 2016 DBLP  BibTeX  RDF
1Elena Botoeva, Diego Calvanese, Valerio Santarelli, Domenico Fabio Savo, Alessandro Solimando, Guohui Xiao Virtual OBDA over Expressive Ontologies: Rewritings and Approximations. Search on Bibsonomy Description Logics The full citation details ... 2016 DBLP  BibTeX  RDF
1Júlia Pukancová, Martin Homola Tableau-Based ABox Abduction for Description Logics: Preliminary Report. Search on Bibsonomy Description Logics The full citation details ... 2016 DBLP  BibTeX  RDF
1Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated Queries. Search on Bibsonomy Description Logics The full citation details ... 2016 DBLP  BibTeX  RDF
1Marie-Laure Mugnier, Marie-Christine Rousset, Federico Ulliana Ontology-Mediated Queries for NOSQL Databases. Search on Bibsonomy Description Logics The full citation details ... 2016 DBLP  BibTeX  RDF
1Patrick Koopmann, Nadeschda Nikitina Minimising Acyclic EL Ontologies. Search on Bibsonomy Description Logics The full citation details ... 2016 DBLP  BibTeX  RDF
1Oliver Kutz, Fabian Neuhaus, Maria M. Hedblom, Till Mossakowski, Mihai Codescu Ontology Patterns with DOWL: The Case of Blending. Search on Bibsonomy Description Logics The full citation details ... 2016 DBLP  BibTeX  RDF
1Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer Fixed-Domain Reasoning for Description Logics. Search on Bibsonomy Description Logics The full citation details ... 2016 DBLP  BibTeX  RDF
1Diego Calvanese Managing Change in Graph-structured Data Using Description Logics. Search on Bibsonomy Description Logics The full citation details ... 2016 DBLP  BibTeX  RDF
1Jason St. Jacques, David Toman, Grant E. Weddell Object-Relational Queries over CFDI_nc Knowledge Bases: OBDA for the SQL-Literate (extended abstract). Search on Bibsonomy Description Logics The full citation details ... 2016 DBLP  BibTeX  RDF
1Jon Haël Brenas, Rachid Echahed, Martin Strecker On the Closure of Description Logics under Substitutions. Search on Bibsonomy Description Logics The full citation details ... 2016 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 1122 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license