![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 41 matches
- 2017
- Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, Riccardo Renzulli:
An Efficient Reasoner for Description Logics of Typicality and Rational Closure. Description Logics 2017 - Peter Hansen, Carsten Lutz:
Computing FO-Rewritings in EL in Practice: from Atomic to Conjunctive Queries. Description Logics 2017 - Wil M. P. van der Aalst, Alessandro Artale, Marco Montali, Simone Tritini:
Object-Centric Behavioral Constraints: Integrating Data and Declarative Process Modelling. Description Logics 2017 - Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost:
Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract). Description Logics 2017 - Franz Baader, Daniel Borchmann, Adrian Nuradiansyah:
Preliminary Results on the Identity Problem in Description Logic Ontologies. Description Logics 2017 - Franz Baader, Patrick Koopmann, Anni-Yasmin Turhan:
Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract). Description Logics 2017 - Labinot Bajraktari, Magdalena Ortiz, Mantas Simkus
:
Clopen Knowledge Bases: Combining Description Logics and Answer Set Programming. Description Logics 2017 - Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
On the Parametrised Complexity of Tree-Shaped Ontology-Mediated Queries in OWL 2 QL. Description Logics 2017 - Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Optimal Nonrecursive Datalog Rewritings of Linear TGDs and Bounded (Hyper)Tree-Width Queries. Description Logics 2017 - Stefan Borgwardt, Marco Cerami, Rafael Peñaloza:
Łukasiewicz Fuzzy EL is Undecidable. Description Logics 2017 - Loris Bozzato, Luciano Serafini, Gaetano Calabrese:
CKR: Live Demo: Using Contexts and Exceptions for Representing Evolving Knowledge States. Description Logics 2017 - Germá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. Description Logics 2017 - Markus Brenner, Birte Glimm:
Incremental Materialization Update via Abstraction Refinement. Description Logics 2017 - Katarina Britz, Ivan José Varzinczak:
Towards Defeasible SROIQ. Description Logics 2017 - Gianluca Cima:
Preliminary Results on Ontology-based Open Data Publishing. Description Logics 2017 - Roberto Confalonieri, Oliver Kutz, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Marco Schorlemmer, Nicolas Troquard:
Coherence, Similarity, and Concept Generalisation. Description Logics 2017 - David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks:
Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, and Nominals. Description Logics 2017 - Henrik Forssell, Daniel P. Lupp, Martin G. Skjæveland, Evgenij Thorstensen:
Reasonable Macros for Ontology Construction and Maintenance. Description Logics 2017 - Olga Gerasimova, Stanislav Kikot, Vladimir V. Podolskii, Michael Zakharyaschev:
On the Data Complexity of Ontology-Mediated Queries with a Covering Axiom. Description Logics 2017 - Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Jean Christoph Jung
:
On Query Answering in Description Logics with Number Restrictions on Transitive Roles. Description Logics 2017 - Abdelraouf Hecham, Abdallah Arioua, Gem Stapleton, Madalina Croitoru:
An Empirical Evaluation of Argumentation in Explaining Inconsistency-Tolerant Query Answering. Description Logics 2017 - André Hernich, Carsten Lutz, Fabio Papacchini
, Frank Wolter:
Horn Rewritability vs PTime Query Answering for Description Logic TBoxes. Description Logics 2017 - Alexey Ignatiev, João Marques-Silva, Carlos Mencía, Rafael Peñaloza:
Debugging EL+ Ontologies through Horn MUS Enumeration. Description Logics 2017 - Nikoo Zolfaghar Karahroodi, Volker Haarslev:
A Consequence-based Algebraic Calculus for SHOQ. Description Logics 2017 - Arash Karimi, Heng Zhang, Jia-Huai You:
Beyond Skolem Chase: A Study of Finite Chase under Standard Chase Variant. Description Logics 2017 - Yevgeny Kazakov, Pavel Klinov, Alexander Stupnikov:
Towards Reusable Explanation Services in Protege. Description Logics 2017 - Yevgeny Kazakov, Denis K. Ponomaryov:
On the Complexity of Semantic Integration of OWL Ontologies. Description Logics 2017 - Yevgeny Kazakov, Peter Skocovsky:
Enumerating Justifications using Resolution. Description Logics 2017 - Markus Krötzsch:
Ontologies for Knowledge Graphs? Description Logics 2017 - Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost:
Reasoning with Attributed Description Logics. Description Logics 2017
skipping 11 more matches
loading more results
failed to load more results, please try again later
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-06-13 11:14 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint