Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
54 | Matthew Horridge, Bijan Parsia, Ulrike Sattler |
Explaining Inconsistencies in OWL Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SUM ![In: Scalable Uncertainty Management, Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009. Proceedings, pp. 124-137, 2009, Springer, 978-3-642-04387-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
54 | Georgios Meditskos, Nick Bassiliades |
Combining a DL Reasoner and a Rule Engine for Improving Entailment-Based OWL Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2008, 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings, pp. 277-292, 2008, Springer, 978-3-540-88563-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Hybrid and Homogeneous Systems, Rule-based OWL Reasoning, Entailment Rules, DL Reasoning, Rule Engines |
54 | Raphael Volz, Steffen Staab, Boris Motik |
Incrementally Maintaining Materializations of Ontologies Stored in Logic Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Data Semantics ![In: Journal on Data Semantics II, pp. 1-34, 2005, Springer, 3-540-24208-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
51 | Nimit Pattanasri, Adam Jatowt, Katsumi Tanaka |
Enhancing Comprehension of Events in Video Through Explanation-on-Demand Hypervideo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMM (1) ![In: Advances in Multimedia Modeling, 13th International Multimedia Modeling Conference, MMM 2007, Singapore, January 9-12, 2007. Proceedings, Part I, pp. 535-544, 2007, Springer, 978-3-540-69421-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
verb ontology, Fellbaum’s verb entailments, XDD, OWL, reasoning, MPEG-7, comprehension, XML database, hypervideo |
42 | Ofer Arieli, Anna Zamansky |
Some Simplified Forms of Reasoning with Distance-Based Entailments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Canadian AI ![In: Advances in Artificial Intelligence , 21st Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2008, Windsor, Canada, May 28-30, 2008, Proceedings, pp. 36-47, 2008, Springer, 978-3-540-68821-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
42 | Ofer Arieli |
Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 8(3), pp. 18, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Paraconsistent and nonmonotonic reasoning, preferential semantics, quantified Boolean formulae |
42 | Aditya Kalyanpur, Bijan Parsia, Matthew Horridge, Evren Sirin |
Finding All Justifications of OWL DL Entailments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC/ASWC ![In: The Semantic Web, 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007., pp. 267-280, 2007, Springer, 978-3-540-76297-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
OWL Ontology Explanation, Debugging, Justifications |
42 | Yves Moinard |
General Preferential Entailments as Circumscriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001, Proceedings, pp. 532-543, 2001, Springer, 3-540-42464-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
36 | Matthew Horridge, Bijan Parsia, Ulrike Sattler |
Laconic and Precise Justifications in OWL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2008, 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings, pp. 323-338, 2008, Springer, 978-3-540-88563-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Huiying Li, Yanbing Wang, Yuzhong Qu, Jeff Z. Pan |
A Reasoning Algorithm for pD*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASWC ![In: The Semantic Web - ASWC 2006, First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006, Proceedings, pp. 293-299, 2006, Springer, 3-540-38329-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Cleo Condoravdi, Dick Crouch, John O. Everett, Valeria de Paiva, Reinhard Stolle, Daniel G. Bobrow, Martin van den Berg |
Preventing existence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOIS ![In: 2nd International Conference on Formal Ontology in Information Systems, FOIS 2001, Ogunquit, Maine, USA, October 17-19, 2001, Proceedings., pp. 162-173, 2001, ACM, 1-58113-377-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
knowledge representation, existence, natural language semantics |
36 | Yves Moinard, Raymond Rolland |
Around a Powerful Property of Circumscriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings, pp. 34-49, 1994, Springer, 3-540-58332-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
33 | Aravind K. Joshi, Ralph M. Weischedel |
Some Frills for Modal Tic-Tac-Toe: Semantics of Predicate Complement Constructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 25(4), pp. 374-389, 1976. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
Artificial intelligence, semantics, inferences, computational linguistics, syntax, linguistics, natural language understanding, entailments, presuppositions |
24 | Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Mikhail Kotlov |
Why Not? Explaining Missing Entailments with Evee (Technical Report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.07294, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Mikhail Kotlov |
Why Not? Explaining Missing Entailments with Evee. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
24 | Christoph Beierle, Jonas Haldimann |
Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 90(2-3), pp. 149-179, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Ivan Gocev, Georgios Meditskos, Nick Bassiliades |
Towards Explaining DL Non-entailments by Utilizing Subtree Isomorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iiWAS ![In: Information Integration and Web Intelligence - 24th International Conference, iiWAS 2022, Virtual Event, November 28-30, 2022, Proceedings, pp. 385-390, 2022, Springer, 978-3-031-21046-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova |
Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.13138, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
24 | Daisuke Kimura, Makoto Tatsuta |
Decidability for Entailments of Symbolic Heaps with Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 17(2), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
24 | Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova |
Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 291-308, 2021, Springer, 978-3-030-79875-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Mnacho Echenim, Radu Iosif, Nicolas Peltier |
Unifying Decidable Entailments in Separation Logic with Inductive Definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 183-199, 2021, Springer, 978-3-030-79875-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Richard Zuber |
Entailments with Sentential Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings, pp. 543-550, 2021, Springer, 978-3-030-89390-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Ofer Arieli, AnneMarie Borg, Christian Straßer |
Characterizations and Classifications of Argumentative Entailments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021., pp. 52-62, 2021, 978-1-956792-99-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Mnacho Echenim, Radu Iosif, Nicolas Peltier |
Decidable Entailments in Separation Logic with Inductive Definitions: Beyond Establishment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)., pp. 20:1-20:18, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-175-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova |
Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), Bratislava, Slovakia, September 19th to 22nd, 2021, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
24 | Mnacho Echenim, Radu Iosif, Nicolas Peltier |
Decidable Entailments in Separation Logic with Inductive Definitions: Beyond Established Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2007.00502, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
24 | Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova |
Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.08311, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
24 | Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova |
Finding Small Proofs for Description Logic Entailments: Theory and Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020., pp. 32-67, 2020, EasyChair. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova |
On the Complexity of Finding Good Proofs for Description Logic Entailments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
24 | Christoph Beierle, Jonas Haldimann |
Normal Forms of Conditional Knowledge Bases Respecting Entailments and Renamings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoIKS ![In: Foundations of Information and Knowledge Systems - 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings, pp. 22-41, 2020, Springer, 978-3-030-39950-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Sam Alxatib |
Actuality Entailments and Free Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Semant. ![In: J. Semant. 36(4), pp. 701-720, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Somayeh Jafaritazehjani, Albert Gatt, Marc Tanti |
Visuallly Grounded Generation of Entailments from Premises. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1909.09788, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
24 | Somayeh Jafaritazehjani, Albert Gatt, Marc Tanti |
Visually grounded generation of entailments from premises. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INLG ![In: Proceedings of the 12th International Conference on Natural Language Generation, INLG 2019, Tokyo, Japan, October 29 - November 1, 2019, pp. 178-188, 2019, Association for Computational Linguistics, 978-1-950737-94-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
24 | Daisuke Kimura, Makoto Tatsuta |
Decidability for Entailments of Symbolic Heaps with Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1802.05935, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
24 | Chidchanok Choksuchat, Chantana Chantrapornchai |
Practical parallel string matching framework for RDF entailments with GPUs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. Frontiers ![In: Inf. Syst. Frontiers 20(4), pp. 863-882, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Radu Iosif, Cristina Serban |
A Complete Cyclic Proof System for Inductive Entailments in First Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018, pp. 435-453, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Radu Iosif, Cristina Serban |
Complete Cyclic Proof Systems for Inductive Entailments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1707.02415, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
24 | Eisa Alharbi, John Howse, Gem Stapleton, Ali Hamie, Anestis Touloumis |
The Efficacy of OWL and DL on User Understanding of Axioms and Their Entailments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC (1) ![In: The Semantic Web - ISWC 2017 - 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part I, pp. 20-36, 2017, Springer, 978-3-319-68287-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Nguyen Truong Son, Viet-Anh Phan, Le Minh Nguyen 0001 |
Recognizing entailments in legal texts using sentence encoding-based and decomposable attention models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLIEE@ICAIL ![In: COLIEE 2017. 4th Competition on Legal Information Extraction and Entailment, held in conjunction with the 16th International Conference on Artificial Intelligence and Law (ICAIL 2017) in King's College London, UK., pp. 31-42, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Pauli Xu, Robert Frank 0001, Jungo Kasai, Owen Rambow |
TAG Parser Evaluation using Textual Entailments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAG ![In: Proceedings of the 13th International Workshop on Tree Adjoining Grammars and Related Formalisms, TAG 2017, Umeå, Sweden, September 4-6, 2017, pp. 132-141, 2017, Association for Computational Linguistics, 978-1-945626-98-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
24 | Alda Mari |
Actuality Entailments: When the Modality is in the Presupposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LACL ![In: Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016) - 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings, pp. 191-210, 2016, 978-3-662-53825-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | James Brotherston, Nikos Gorogiannis |
Disproving Inductive Entailments in Separation Logic via Base Pair Approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, TABLEAUX 2015, Wrocław, Poland, September 21-24, 2015. Proceedings, pp. 287-303, 2015, Springer, 978-3-319-24311-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Radu Iosif, Adam Rogalewicz, Tomás Vojnar |
Deciding Entailments in Inductive Separation Logic with Tree Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1402.2127, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
24 | Radu Iosif, Adam Rogalewicz, Tomás Vojnar |
Deciding Entailments in Inductive Separation Logic with Tree Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings, pp. 201-218, 2014, Springer, 978-3-319-11935-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Artemis Parvizi, Chris Mellish, Kees van Deemter, Yuan Ren 0001, Jeff Z. Pan |
Selecting Ontology Entailments for Presentation to Users. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KEOD ![In: KEOD 2014 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Rome, Italy, 21-24 October, 2014, pp. 382-387, 2014, SciTePress, 978-989-758-049-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Deniz Yuret, Laura Rimell, Aydin Han |
Parser evaluation using textual entailments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lang. Resour. Evaluation ![In: Lang. Resour. Evaluation 47(3), pp. 639-659, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Yu-Chieh Wu |
Integrating statistical and lexical information for recognizing textual entailments in text. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Based Syst. ![In: Knowl. Based Syst. 40, pp. 27-35, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Francesc Esteva, Lluís Godo, Ricardo Oscar Rodríguez, Thomas Vetterlein |
Logics for approximate and strong entailments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 197, pp. 59-70, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Tu Anh Thi Nguyen, Richard Power, Paul Piwek, Sandra Williams |
Planning Accessible Explanations for Entailments in OWL Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INLG ![In: INLG 2012 - Proceedings of the Seventh International Natural Language Generation Conference, 30 May 2012 - 1 June 2012, Starved Rock State Park, Utica, IL, USA, pp. 110-114, 2012, The Association for Computer Linguistics, 978-1-937284-23-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
24 | Tom Werner |
Modal Entailments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Semant. ![In: J. Semant. 28(4), pp. 451-484, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Gang Wu 0007, Guilin Qi, Jianfeng Du |
Finding all justifications of OWL entailments using TMS and MapReduce. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 20th ACM Conference on Information and Knowledge Management, CIKM 2011, Glasgow, United Kingdom, October 24-28, 2011, pp. 1425-1434, 2011, ACM, 978-1-4503-0717-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Samantha Bail, Bijan Parsia, Ulrike Sattler |
Extracting Finite Sets of Entailments from OWL Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
24 | Deniz Yuret, Aydin Han, Zehra Turgut |
SemEval-2010 Task 12: Parser Evaluation Using Textual Entailments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SemEval@ACL ![In: Proceedings of the 5th International Workshop on Semantic Evaluation, SemEval@ACL 2010, Uppsala University, Uppsala, Sweden, July 15-16, 2010, pp. 51-56, 2010, The Association for Computer Linguistics, 978-1-932432-70-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
24 | Michael Heilman, Noah A. Smith |
Tree Edit Models for Recognizing Textual Entailments, Paraphrases, and Answers to Questions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLT-NAACL ![In: Human Language Technologies: Conference of the North American Chapter of the Association of Computational Linguistics, Proceedings, June 2-4, 2010, Los Angeles, California, USA, pp. 1011-1019, 2010, The Association for Computational Linguistics, 978-1-932432-65-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
24 | Jianfeng Du, Guilin Qi, Qiu Ji |
Goal-Directed Module Extraction for Explaining OWL DL Entailments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2009, 8th International Semantic Web Conference, ISWC 2009, Chantilly, VA, USA, October 25-29, 2009. Proceedings, pp. 163-179, 2009, Springer, 978-3-642-04929-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Matthew Horridge, Bijan Parsia, Ulrike Sattler |
From Justifications to Proofs for Entailments in OWL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OWLED ![In: Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2009), Chantilly, VA, United States, October 23-24, 2009, 2009, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
24 | Bahadorreza Ofoghi, John Yearwood |
UB.dmirg: A Syntactic Lexical System for Recognizing Textual Entailments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAC ![In: Proceedings of the Second Text Analysis Conference, TAC 2009, Gaithersburg, Maryland, USA, November 16-17, 2009, 2009, NIST. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
24 | Qiu Ji, Guilin Qi, Peter Haase 0001 |
A Relevance-Directed Algorithm for Finding Justifications of DL Entailments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASWC ![In: The Semantic Web, Fourth Asian Conference, ASWC 2009, Shanghai, China, December 6-9, 2009. Proceedings, pp. 306-320, 2009, Springer, 978-3-642-10870-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | David Clausen, Christopher D. Manning |
Presupposed Content and Entailments in Natural Language Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TextInfer@ACL ![In: Proceedings of the 2009 Workshop on Applied Textual Inference, TextInfer@ACL 2009, Suntec, Singapore, August 6, 2009, pp. 70-73, 2009, Association for Computational Linguistics, 978-1-932432-48-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
24 | Thorsten Liebig, Stephan Scheele |
Explaining Entailments and Patching Modelling Flaws. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Künstliche Intell. ![In: Künstliche Intell. 22(2), pp. 25-27, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
24 | Matthew Horridge, Bijan Parsia, Ulrike Sattler |
Explanation of OWL Entailments in Protege 4. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC (Posters & Demos) ![In: Proceedings of the Poster and Demonstration Session at the 7th International Semantic Web Conference (ISWC2008), Karlsruhe, Germany, October 28, 2008, 2008, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
24 | Georgios Meditskos, Nick Bassiliades |
Rule-based OWL Ontology Reasoning Using Dynamic ABOX Entailments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings, pp. 731-732, 2008, IOS Press, 978-1-58603-891-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Matthew Horridge, Johannes Bauer 0002, Bijan Parsia, Ulrike Sattler |
Understanding Entailments in OWL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OWLED ![In: Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, collocated with the 7th International Semantic Web Conference (ISWC-2008), Karlsruhe, Germany, October 26-27, 2008, 2008, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
24 | Steven J. Zuiker, Kate T. Anderson, Lai Har Judy Lee, Yam San Chee |
Designing for the epistemological entailments of physics through game-centered dialogical activity cycles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLS (2) ![In: Cre8ing a learning world: Proceedings of the 8th International Conference for the Learning Sciences, ICLS 2008, Utrecht, The Netherlands, June 23-28, 2008, Volume 2, pp. 516-523, 2008, International Society of the Learning Sciences. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
24 | Boontawee Suntisrivaraporn, Guilin Qi, Qiu Ji, Peter Haase 0001 |
A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASWC ![In: The Semantic Web, 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings, pp. 1-15, 2008, Springer, 978-3-540-89703-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Sandra Bégoin-Augereau, Josiane Caron-Pargue |
Linguistic Forms as Markers of Automatic Entailments in a Problem Solving Task. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence/IAT Workshops ![In: Proceedings of the 2007 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology - Workshops, 2-5 November 2007, Silicon Valley, CA, USA, pp. 60-63, 2007, IEEE Computer Society, 0-7695-3028-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Bill MacCartney, Trond Grenager, Marie-Catherine de Marneffe, Daniel M. Cer, Christopher D. Manning |
Learning to recognize features of valid textual entailments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLT-NAACL ![In: Human Language Technology Conference of the North American Chapter of the Association of Computational Linguistics, Proceedings, June 4-9, 2006, New York, New York, USA, 2006, The Association for Computational Linguistics. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
24 | Aditya Kalyanpur, Bijan Parsia, Bernardo Cuenca Grau |
Beyond Asserted Axioms: Fine-Grain Justifications for OWL-DL Entailments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006, 2006, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
24 | Fabio Massimo Zanzotto, Alessandro Moschitti |
Automatic Learning of Textual Entailments with Cross-Pair Similarities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL ![In: ACL 2006, 21st International Conference on Computational Linguistics and 44th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference, Sydney, Australia, 17-21 July 2006, 2006, The Association for Computer Linguistics. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
24 | Duncan Pritchard |
McKinsey Paradoxes, Radical Scepticism, and the Transmission of Knowledge across Known Entailments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 130(2), pp. 279-302, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Yves Moinard |
Linking Makinson and Kraus-Lehmann-Magidor preferential entailments ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.AI/0208017, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
24 | Yves Moinard, Raymond Rolland |
Characterizations of Preferential Entailments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 10(3), pp. 245-272, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Yves Moinard |
Linking Makinson and Kraus-Lehmann- Magidor preferential entailments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 15-24, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
24 | Yves Moinard |
Linking Makinson and Kraus-Lehmann-Magidor preferential entailments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: Proceedings of the 15th European Conference on Artificial Intelligence, ECAI'2002, Lyon, France, July 2002, pp. 531-535, 2002, IOS Press. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
24 | Ofer Arieli, Arnon Avron |
General Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 8(2), pp. 119-148, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Yves Moinard |
Characterizing General Preferential Entailments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2000, Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, Germany, August 20-25, 2000, pp. 474-478, 2000, IOS Press. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
24 | Ofer Arieli, Arnon Avron |
Nonmonotonic and Paraconsistent Reasoning: From Basic Entailments to Plausible Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESCQARU ![In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQARU'99, London, UK, July 5-9, 1999, Proceedings, pp. 11-21, 1999, Springer, 3-540-66131-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Yves Moinard, Raymond Rolland |
Preferential Entailments for Circumscriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994., pp. 461-472, 1994, Morgan Kaufmann, 1-55860-328-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
24 | Robert E. Mercer |
Default Logic: Towards a Common Logical Semantics for Presuppositions and Entailments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Semant. ![In: J. Semant. 9(3), pp. 223-250, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
24 | Paul Snow |
Restraining the Proliferation of Worlds in Probabilistic Logic Entailments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQAU, Marseille, France, October 15-17, 1991, Proceedings, pp. 318-322, 1991, Springer, 3-540-54659-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
24 | James Hawthorne |
A semantic approach to non-monotonic entailments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UAI ![In: UAI '86: Proceedings of the Second Annual Conference on Uncertainty in Artificial Intelligence, University of Pennsylvania, Philadelphia, PA, USA, August 8-10, 1986, pp. 251-262, 1986, Elsevier, 0-444-70396-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
24 | Anthony S. Maida |
Processing Entailments and Accessing Facts in a Uniform Frame System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the National Conference on Artificial Intelligence. Austin, TX, USA, August 6-10, 1984., pp. 233-236, 1984, AAAI Press, 0-262-51053-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
24 | William H. Hanson |
First-degree entailments and information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 21(4), pp. 659-671, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
24 | J. Michael Dunn |
A sieve for entailments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 9(1), pp. 41-57, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
18 | Ofer Arieli, Anna Zamansky |
Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings, pp. 793-804, 2009, Springer, 978-3-642-02905-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Safdar Ali 0001, Stephan Kiefer |
µOR - A Micro OWL DL Reasoner for Ambient Intelligent Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPC ![In: Advances in Grid and Pervasive Computing, 4th International Conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009. Proceedings, pp. 305-316, 2009, Springer, 978-3-642-01670-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Mobile Reasoning, Ambient Intelligent Devices, Semantic Web, Pervasive Computing, Description Logics |
18 | Georgios Meditskos, Nick Bassiliades |
A Rule-Based Object-Oriented OWL Reasoner. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 20(3), pp. 397-410, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Object-Oriented Programming, Inference engines, Rule-based processing, Ontology languages |
18 | Marius Bozga, Radu Iosif, Swann Perarnau |
Quantitative Separation Logic and Programs with Lists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings, pp. 34-49, 2008, Springer, 978-3-540-71069-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Zhengxiang Pan, Xingjian Zhang 0006, Jeff Heflin |
DLDB2: A Scalable Multi-perspective Semantic Web Repository. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: 2008 IEEE / WIC / ACM International Conference on Web Intelligence, WI 2008, 9-12 December 2008, Sydney, NSW, Australia, Main Conference Proceedings, pp. 489-495, 2008, IEEE Computer Society, 978-0-7695-3496-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Amit Jain, Csilla Farkas |
Secure resource description framework: an access control model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SACMAT ![In: 11th ACM Symposium on Access Control Models and Technologies, SACMAT 2006, Lake Tahoe, California, USA, June 7-9, 2006, Proceedings, pp. 121-129, 2006, ACM, 1-59593-353-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
RDF access control, RDF metadata, RDF security, semantic web, RDFS, conflict resolution, entailment |
18 | Jos de Bruijn, Stijn Heymans |
Translating Ontologies from Predicate-based to Frame-based Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rules and Rule Markup Languages for the Semantic Web, Second International Conference, RuleML 2006, Athens, Georgia, USA, November 10-11, 2006, Proceedings, pp. 7-16, 2006, IEEE Computer Society, 0-7695-2652-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Alon Altman, Ya'acov Peterzil, Yoad Winter |
Scope Dominance with Upward Monotone Quantifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 14(4), pp. 445-455, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
monotonicity, dominance, scope, generalized quantifier |
18 | John K. Slaney |
Relevant Logic and Paraconsistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inconsistency Tolerance ![In: Inconsistency Tolerance [result from a Dagstuhl seminar], pp. 270-293, 2005, Springer, 3-540-24260-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Fabrice Correia |
Semantics for Analytic Containment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 77(1), pp. 87-104, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
analytic containment, relevant implication, semantics |
18 | Kean-Huat Soon, Werner Kuhn |
Formalizing User Actions for Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GIScience ![In: Geographic Information Science, Third International Conference, GIScience 2004, Adelphi, MD, USA, October 20-23, 2004, Proceedings, pp. 299-312, 2004, Springer, 3-540-23558-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Lee Flax |
An Algebraic Approach to Belief Contraction and Nonmonotonic Entailment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings, pp. 439-451, 2004, Springer, 3-540-23242-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn |
A Decidable Fragment of Separation Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings, pp. 97-109, 2004, Springer, 3-540-24058-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Lee Flax |
A Proposal for Reasoning in Agents: Restricted Entailment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DALT ![In: Declarative Agent Languages and Technologies, First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers, pp. 173-190, 2003, Springer, 3-540-22124-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Raphael Volz, Steffen Staab, Boris Motik |
Incremental Maintenance of Materialized Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM ![In: On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE - OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2003, Catania, Sicily, Italy, November 3-7, 2003, pp. 707-724, 2003, Springer, 3-540-20498-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Catherine C. Marshall, Frank M. Shipman III |
Which semantic web? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hypertext ![In: HYPERTEXT 2003, Proceedings of the 14th ACM Conference on Hypertext and Hypermedia, August 26-30, 2003, Nottingham, UK, pp. 57-66, 2003, ACM, 1-58113-704-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
semantic web, digital libraries, knowledge representation, information systems, knowledge acquisition, hypertext |