Peter F. Patel-Schneider

CoRR, 2020

Wikidata Constraints on MARS (Extended Technical Report).

[BibT_eX]

[DOI]

CoRR, 2020

Wikidata Constraints on MARS.

[BibT_eX]

[DOI]

Proceedings of the 1st Wikidata Workshop (Wikidata 2020) co-located with 19th International Semantic Web Conference(OPub 2020), 2020

Wikidata on MARS (Preliminary Report).

[BibT_eX]

[DOI]

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), 2020

2018

Contextualization via Qualifiers.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the International Workshops on Contextualized Knowledge Graphs, 2018

Fixing Comparative Preferences for SPARQL.

[BibT_eX]

[DOI]

Axel Polleres

Proceedings of the ISWC 2018 Posters & Demonstrations, Industry and Blue Sky Ideas Tracks co-located with 17th International Semantic Web Conference (ISWC 2018), Monterey, USA, October 8th - to, 2018

Comparative Preferences in SPARQL.

[BibT_eX]

[DOI]

Axel Polleres

Proceedings of the Knowledge Engineering and Knowledge Management, 2018

Automating Class/Instance Representational Choices in Knowledge Bases.

[BibT_eX]

[DOI]

Ankur Padia

Proceedings of the Knowledge Engineering and Knowledge Management, 2018

2017

ASHACL: Alternative Shapes Constraint Language.

[BibT_eX]

[DOI]

CoRR, 2017

2016

EXISTStential Aspects of SPARQL.

[BibT_eX]

[DOI]

Proceedings of the ISWC 2016 Posters & Demonstrations Track co-located with 15th International Semantic Web Conference (ISWC 2016), 2016

2015

An End-to-End Conversational Second Screen Application for TV Program Discovery.

[BibT_eX]

[DOI]

AI Mag., 2015

CogMap: A Cognitive Support Approach to Property and Instance Alignment.

[BibT_eX]

[DOI]

Jan Nößner

Peter Z. Yeh

Proceedings of the Semantic Web - ISWC 2015, 2015

Using Description Logics for RDF Constraint Checking and Closed-World Recognition.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Analyzing Schema.org.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2014, 2014

Ontologies in Enterprise Application: Dimensional Comparison.

[BibT_eX]

[DOI]

Valeria de Paiva

William Jarrold

Karen Wallace

Peter Z. Yeh

Proceedings of the 6th Workshop on Formal Ontologies meet Industry co-located with 8th International Conference on Formal Ontology in Information Systems (FOIS 2014), 2014

A Speech-Driven Second Screen Application for TV Program Discovery.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Finite Models in RDF(S), with Datatypes.

[BibT_eX]

[DOI]

Patrick J. Hayes

Proceedings of the ISWC 2013 Posters & Demonstrations Track, 2013

2012

Comments on "WebPIE: A Web-scale parallel inference engine using MapReduce".

[BibT_eX]

[DOI]

J. Web Semant., 2012

An Empirical Analysis of Semantic Techniques Applied to a Network Management Classification Problem.

[BibT_eX]

[DOI]

Stefan Bischof

Proceedings of the 2012 IEEE/WIC/ACM International Conferences on Web Intelligence, 2012

Ontology Constraints in Incomplete and Complete Data.

[BibT_eX]

[DOI]

Enrico Franconi

Proceedings of the Semantic Web - ISWC 2012, 2012

Reasoning in RDFS is Inherently Serial, At Least in The Worst Case.

[BibT_eX]

[DOI]

Proceedings of the ISWC 2012 Posters & Demonstrations Track, 2012

Challenges in the Core of Ontology Support Systems.

[BibT_eX]

Proceedings of the KDIR 2012 - Proceedings of the International Conference on Knowledge Discovery and Information Retrieval, Barcelona, Spain, 4, 2012

2011

KR and Reasoning on the Semantic Web: OWL.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Semantic Web Technologies, 2011

Approaches to Relating and Integrating Semantic Data from Heterogeneous Sources.

[BibT_eX]

[DOI]

John Keeney

Proceedings of the 2011 IEEE/WIC/ACM International Conference on Web Intelligence, 2011

Transforming XML Schema to OWL Using Patterns.

[BibT_eX]

[DOI]

Benjamin Nguyen

Proceedings of the 5th IEEE International Conference on Semantic Computing (ICSC 2011), 2011

A Smart Campus Prototype for Demonstrating the Semantic Integration of Heterogeneous Data.

[BibT_eX]

[DOI]

John Keeney

Proceedings of the Web Reasoning and Rule Systems - 5th International Conference, 2011

Choosing Between Axioms, Rules and Queries: Experiments in Semantic Integration Techniques.

[BibT_eX]

[DOI]

John Keeney

Proceedings of the 8th International Workshop on OWL: Experiences and Directions (OWLED 2011), 2011

Integrity Constraints for Linked Data.

[BibT_eX]

[DOI]

Alan Jeffrey

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

2009

A Syntax for Rules in OWL 2.

[BibT_eX]

[DOI]

Birte Glimm

Matthew Horridge

Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2009), 2009

2008

OWL 2: The next step for OWL.

[BibT_eX]

[DOI]

Ulrike Sattler

J. Web Semant., 2008

Safe Rules for OWL 1.1 (Statement of Interest).

[BibT_eX]

[DOI]

Proceedings of the Fourth OWLED Workshop on OWL: Experiences and Directions, 2008

Manchester Syntax for OWL 1.1.

[BibT_eX]

[DOI]

Matthew Horridge

Proceedings of the Fourth OWLED Workshop on OWL: Experiences and Directions, 2008

2007

A comparison of two modelling paradigms in the Semantic Web.

[BibT_eX]

[DOI]

J. Web Semant., 2007

Book Review.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2007

Optimizing Terminological Reasoning for Expressive Description Logics.

[BibT_eX]

[DOI]

Dmitry Tsarkov

J. Autom. Reason., 2007

2006

Position paper: a comparison of two modelling paradigms in the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the 15th international conference on World Wide Web, 2006

Next Steps for OWL.

[BibT_eX]

[DOI]

Bernardo Cuenca Grau

Ulrike Sattler

Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 2006

DIG 2.0 -- Towards a Flexible Interface for Description Logic Reasoners.

[BibT_eX]

[DOI]

Boontawee Suntisrivaraporn

Anni-Yasmin Turhan

Timo Weithöner

Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 2006

2005

OWL rules: A proposal and prototype implementation.

[BibT_eX]

[DOI]

Sean Bechhofer

Dmitry Tsarkov

J. Web Semant., 2005

Improving User Experience through Rule-based Service Customization.

[BibT_eX]

[DOI]

Int. J. Cooperative Inf. Syst., 2005

Requirements and Non-Requirements for a Semantic Web Rule Language.

[BibT_eX]

[DOI]

Proceedings of the W3C Workshop on Rule Languages for Interoperability, 2005

A Revised Architecture for Semantic Web Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2005

Semantic Web Architecture: Stack or Two Towers?.

[BibT_eX]

[DOI]

James A. Hendler

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2005

Building the Semantic Web Tower from RDF Straw.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

2004

World Wide Web Conference 2004 - Semantic Web Track.

[BibT_eX]

[DOI]

Steffen Staab

J. Web Semant., 2004

Reducing OWL entailment to description logic satisfiability.

[BibT_eX]

[DOI]

J. Web Semant., 2004

Meaning and the semantic web.

[BibT_eX]

[DOI]

Proceedings of the 13th international conference on World Wide Web, 2004

A proposal for an owl rules language.

[BibT_eX]

[DOI]

Proceedings of the 13th international conference on World Wide Web, 2004

Enabling Context-Aware and Privacy-Conscious User Data Sharing.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Conference on Mobile Data Management (MDM 2004), 2004

What Is OWL (and Why Should I Care)?

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

The Semantic Web and Knowledge Representation.

[BibT_eX]

[DOI]

Proceedings of the 5th Mexican International Conference on Computer Science (ENC 2004), 2004

2003

From SHIQ and RDF to OWL: the making of a Web Ontology Language.

[BibT_eX]

[DOI]

Frank van Harmelen

J. Web Semant., 2003

The Yin/Yang Web: A Unified Model for XML Syntax and RDF Semantics.

[BibT_eX]

[DOI]

Jérôme Siméon

IEEE Trans. Knowl. Data Eng., 2003

A New General Method to Generate Random Modal Formulae for Testing Decision Procedures.

[BibT_eX]

[DOI]

Roberto Sebastiani

J. Artif. Intell. Res., 2003

Rule-based Service Customization via Houdini.

[BibT_eX]

[DOI]

Proceedings of the Twelfth International World Wide Web Conference - Posters, 2003

Three theses of representation in the semantic web.

[BibT_eX]

[DOI]

Proceedings of the Twelfth International World Wide Web Conference, 2003

"Everything Personal, Not Just Business: " Improving User Experience through Rule-Based Service Customization.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2003

From Description Logic Provers to Knowledge Representation Systems.

[BibT_eX]

Proceedings of the Description Logic Handbook: Theory, Implementation, and Applications, 2003

Reducing OWL Entailment to Description Logic Satisfability.

[BibT_eX]

[DOI]

Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

2002

R++: Adding Path-Based Rules to C++.

[BibT_eX]

[DOI]

Diane J. Litman

Anil Mishra

James M. Crawford

Daniel Dvorak

IEEE Trans. Knowl. Data Eng., 2002

Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability.

[BibT_eX]

[DOI]

J. Autom. Reason., 2002

The Yin/Yang web: XML syntax and RDF semantics.

[BibT_eX]

[DOI]

Jérôme Siméon

Proceedings of the Eleventh International World Wide Web Conference, 2002

Building the Semantic Web on XML.

[BibT_eX]

[DOI]

Jérôme Siméon

Proceedings of the Semantic Web, 2002

Layering the Semantic Web: Problems and Directions.

[BibT_eX]

[DOI]

Dieter Fensel

Proceedings of the Semantic Web, 2002

Two Proposals for a Semantic Web Ontology Language.

[BibT_eX]

[DOI]

Proceedings of the 2002 International Workshop on Description Logics (DL2002), 2002

Reviewing the Design of DAML+OIL: An Ontology Language for the Semantic Web.

[BibT_eX]

[DOI]

Frank van Harmelen

Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

2001

OIL: An Ontology Infrastructure for the Semantic Web.

[BibT_eX]

[DOI]

Dieter Fensel

Frank van Harmelen

IEEE Intell. Syst., 2001

The Generation of DAML+OIL.

[BibT_eX]

[DOI]

Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001

A New System and Methodology for Generating Random Modal Formulae.

[BibT_eX]

[DOI]

Roberto Sebastiani

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000

An Analysis of Empirical Testing for Modal Decision Procedures.

[BibT_eX]

[DOI]

Roberto Sebastiani

Log. J. IGPL, 2000

TANCS-2000 Results for DLP.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000

What's New in DLP.

[BibT_eX]

[DOI]

Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000

System Description: DLP.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2000

1999

Editorial: Special Issue on Description Logics.

[BibT_eX]

[DOI]

Marie-Christine Rousset

J. Log. Comput., 1999

Optimizing Description Logic Subsumption.

[BibT_eX]

[DOI]

J. Log. Comput., 1999

Report on the 1998 International Workshop on Description Logics (DL'98).

[BibT_eX]

[DOI]

Enrico Franconi

Giuseppe De Giacomo

Werner Nutt

Christopher A. Welty

J. Log. Comput., 1999

Review of One Jump Ahead: Challenging Human Supremacy in Checkers.

[BibT_eX]

[DOI]

AI Mag., 1999

"Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality.

[BibT_eX]

[DOI]

Ronald J. Brachman

Artif. Intell., 1999

DLP and FaCT.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1999

DLP.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

Systems Comparison.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

Performance of DLP on Random Modal Formulae.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

Explaining ALC Subsumption.

[BibT_eX]

[DOI]

Enrico Franconi

Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

A Proposal for a Description Logic Interface.

[BibT_eX]

[DOI]

Sean Bechhofer

Sergio Tessaris

Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

1998

A description logic-based configurator on the web.

[BibT_eX]

[DOI]

Charles L. Isbell Jr.

Matt Parker

Lori Alperin Resnick

Christopher A. Welty

SIGART Bull., 1998

FaCT and DLP.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998

DLP System Description.

[BibT_eX]

[DOI]

Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo, 1998

NeoClassic.

[BibT_eX]

[DOI]

Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo, 1998

Comparing Subsumption Optimizations.

[BibT_eX]

[DOI]

Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo, 1998

DL Systems Comparison (Summary Relation).

[BibT_eX]

[DOI]

Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo, 1998

Optimising Propositional Modal Satisfiability for Description Logic Subsumption.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Symbolic Computation, 1998

Usability Issues in Knowledge Representation Systems.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997

Modeling Dynamic Collections of Interdependent Objects Using Path-Based Rules.

[BibT_eX]

[DOI]

Diane J. Litman

Anil Mishra

Proceedings of the 1997 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1997

Preliminary Investigations into Interactive Classification in DL.

[BibT_eX]

[DOI]

Proceedings of the 1997 International Workshop on Description Logics, 1997

Usability Issues in DL Systems.

[BibT_eX]

[DOI]

Proceedings of the 1997 International Workshop on Description Logics, 1997

1996

Path-Based Rules in Object-Oriented Programming.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995

Device Representation and Reasoning with Affective Relations.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1994

A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 1994

1992

The DARPA Knowledge Sharing Effort: A Progress Report.

[BibT_eX]

Ramesh S. Patil

Richard Fikes

Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992

The CLASSIC Knowledge Representation System or, KL-ONE: The Next Generation.

[BibT_eX]

Ronald J. Brachman

Lori Alperin Resnick

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

Partial Reasoning in Knowledge Representation Systems Based on Description Logics.

[BibT_eX]

Proceedings of the Issues in Description Logics: Users Meet Developers, 1992

Defaults and Descriptions.

[BibT_eX]

Proceedings of the Issues in Description Logics: Users Meet Developers, 1992

1991

The CLASSIC Knowledge Representation System: Guiding Principles and Implementation Rationale.

[BibT_eX]

[DOI]

SIGART Bull., 1991

Handling Computational Difficulties with Reasoning in Terminological Logics.

[BibT_eX]

Proceedings of the International Workshop on Terminological Logics 1991, 1991

Living wiht Classic: When and How to Use a KL-ONE-Like Language.

[BibT_eX]

[DOI]

Ronald J. Brachman

Lori Alperin Resnick

Proceedings of the Principles of Semantic Networks, 1991

1990

A Decidable First-Order Logic for Knowldge Representation.

[BibT_eX]

[DOI]

J. Autom. Reason., 1990

Practical, object-based knowledge representation for knowledge-based systems.

[BibT_eX]

[DOI]

Inf. Syst., 1990

Term Subsumption Languages in Knowledge Representation.

[BibT_eX]

[DOI]

Bernhard Nebel

Albrecht Schmiedel

John Yen

AI Mag., 1990

1989

Book Review: Non-Standard Logics for Automated Reasoning by P. Smets, E. H. Mamdani, D. Dubois, and H. Prade (Academic Press).

[BibT_eX]

[DOI]

SIGART Newsl., 1989

A Four-Valued Semantics for Terminological Logics.

[BibT_eX]

[DOI]

Artif. Intell., 1989

Undecidability of Subsumption in NIKL.

[BibT_eX]

[DOI]

Artif. Intell., 1989

1988

Adding Number Restrictions to a Four-Valued Terminological Logic.

[BibT_eX]

[DOI]

Proceedings of the 7th National Conference on Artificial Intelligence, 1988

1987

Decidable, logic-based knowledge representation.

[BibT_eX]

[DOI]

PhD thesis, 1987

A hybrid, decidable, logic-based knowledge representation system.

[BibT_eX]

[DOI]

Comput. Intell., 1987

1986

A Four-Valued Semantics for Frame-Based Description Languages.

[BibT_eX]

[DOI]

Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

1985

A Decidable First-Order Logic for Knowledge Representation.

[BibT_eX]

[DOI]