Остановите войну!
for scientists:
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 1,373 matches
- 2023
- Ricardo Guimarães, Ana Ozaki, Jandson S. Ribeiro:
Eviction and Reception for Description Logic Ontologies (Extended Abstract). Description Logics 2023 - Lukas Gerlach, David Carral:
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Abstract). Description Logics 2023 - Shqiponja Ahmetaj, Magdalena Ortiz, Anouk Michelle Oudshoorn, Mantas Simkus:
Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting (Extended Abstract). Description Logics 2023 - Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Mikhail Kotlov:
Why Not? Explaining Missing Entailments with Evee. Description Logics 2023 - Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases (Extended Abstract). Description Logics 2023 - Alessandro Artale, Anton R. Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev:
A Decidable Temporal DL-Lite Logic with Undecidable First-Order and Datalog-rewritability of Ontology-Mediated Atomic Queries (Extended Abstract). Description Logics 2023 - Alessandro Artale, Andrea Mazzullo:
Non-Rigid Designators in Epistemic and Temporal Free Description Logics (Extended Abstract). Description Logics 2023 - Franz Baader:
Optimal Repairs in Ontology Engineering as Pseudo-Contractions in Belief Change (Extended Abstract). Description Logics 2023 - Franz Baader, Filippo De Bortoli:
On the Abstract Expressive Power of Description Logics with Concrete Domains. Description Logics 2023 - Franz Baader, Francesco Kriegel, Adrian Nuradiansyah:
Error-Tolerant Reasoning in EL w.r.t. Optimal ABox Repairs (Extended Abstract). Description Logics 2023 - Ildar Baimuratov, Elena Lisanyuk, Dmitry Prokudin:
Dispute Resolution with OWL DL and Reasoning. Description Logics 2023 - Roland Bernard, Oliver Kutz, Nicolas Troquard:
Making Axiom Weakening Work in SROIQ. Description Logics 2023 - Tomás Bisták, Peter Svec, Ján Kluka, Alexander Simko, Stefan Balogh, Martin Homola:
Improving DL-Learner on a Malware Detection Use Case. Description Logics 2023 - Janka Boborová, Iveta Balintová, Júlia Pukancová, Martin Homola:
Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver (Extended Abstract). Description Logics 2023 - Piero A. Bonatti, Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Luigi Sauro, Domenico Fabio Savo:
Dynamic Controlled Query Evaluation over DL-Lite Ontologies (Extended Abstract). Description Logics 2023 - Piero A. Bonatti, Federica Di Stefano, Magdalena Ortiz, Mantas Simkus:
Circumscription in DL-Lite: Progress Report. Description Logics 2023 - Stefan Borgwardt, Steffen Breuer, Alisa Kovtunova:
Computing ABox Justifications for Query Answers via Datalog Rewriting. Description Logics 2023 - Nofar Carmeli:
Accessing Answers to Conjunctive Queries with Ideal Time Guarantees (Abstract of Invited Talk). Description Logics 2023 - Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz:
SAT-based PAC Learning of Description Logic Concepts (Extended Abstract). Description Logics 2023 - Nikola Dragovic, Cem Okulmus, Magdalena Ortiz:
Rewriting Ontology-Mediated Navigational Queries into Cypher. Description Logics 2023 - Eva Feng, Alexander Borgida, Enrico Franconi, Peter F. Patel-Schneider, David Toman, Grant E. Weddell:
Path Description Dependencies in Feature-Based DLs. Description Logics 2023 - Björn Gehrke, Till Mossakowski:
Extending OWL2 Manchester Syntax to Include Missing Features from OWL2 Abstract Syntax. Description Logics 2023 - Oliver Fernández Gil, Pavlos Marantidis:
Towards Extending the Description Logic FL0 with Threshold Concepts Using Weighted Tree Automatas. Description Logics 2023 - Joshua Hirschbrunn, Yevgeny Kazakov:
Description Logics Go Second-Order - Extending EL with Universally Quantified Concepts. Description Logics 2023 - Fabiola Hodo, Sai Pranav, Baris Sertkaya:
Clustering Knowledge Graphs Using Concept Lattices (Extended Abstract). Description Logics 2023 - Ignacio Huitzil, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca:
ASP-based Axiom Pinpointing for Description Logics. Description Logics 2023 - Moritz Illich, Birte Glimm:
Fully Dynamic Materialization Maintenance. Description Logics 2023 - Tobias John, Patrick Koopmann:
Towards Ontology-Mediated Planning with OWL DL Ontologies. Description Logics 2023 - Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries (Extended Abstract). Description Logics 2023 - Spyridon Kantarelis, Edmund Dervakos, Giorgos Stamou:
The Music Part Ontology (Extended Abstract). Description Logics 2023
skipping 1,343 more matches
loading more results
failed to load more results, please try again later
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 09:43 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