Pages that link to "Boris Motik"

From Tetherless World Wiki

> Boris Motik

What links here

Page:  Namespace:  all (Main) Talk User User talk Tetherless World Wiki Tetherless World Wiki talk Image Image talk MediaWiki MediaWiki talk Template Template talk Help Help talk Category Category talk Relation Relation talk Property Property talk Type Type talk Form Form talk Concept Concept talk Widget Widget talk latex Blog Blog-talk baojie baojie-talk test tw tw-talk latex latex-talk co co-talk rule rule-talk email email-talk

Filters

Hide transclusions | Hide links | Hide redirects

The following pages link to Boris Motik:

View (previous 50) (next 50) (20 | 50 | 100 | 250 | 500)

• Publication (← links)
• James A. Hendler (← links)
• Optimized Reasoning in Description Logics Using Hypertableaux (← links)
• Ian Horrocks (← links)
• Can OWL and Logic Programming Live Together Happily Ever After? (← links)
• OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences (← links)
• Bridging the gap between OWL and relational databases (← links)
• Matching Semantic Service Descriptions with Local Closed-World Reasoning (← links)
• On the Properties of Metamodeling in OWL (← links)
• Query Answering for OWL-DL with Rules (← links)
• An infrastructure for searching, reusing and evolving distributed ontologies (← links)
• KAON SERVER - A Semantic Web Management System (← links)
• tw:Jie's Weekly Summary, 2008-03-16 (← links)
• Ulrike Sattler (← links)
• Bernardo Cuenca Grau (← links)
• Bijan Parsia (← links)
• Peter Haase (← links)
• Rudi Studer (← links)
• Matthew Horridge (← links)
• Steffen Staab (← links)
• York Sure (← links)
• Peter F. Patel-Schneider (← links)
• Peter Mika (← links)
• A Hypertableau Calculus for SHIQ (← links)
• Data Complexity of Reasoning in Very Expressive Description Logics (← links)
• A Faithful Integration of Description Logics with Logic Programming (← links)
• Structured objects in owl: representation and reasoning (← links)
• Adding Integrity Constraints to OWL (← links)
• Query Answering for OWL-DL with rules (← links)
• Closed-World Reasoning in the Semantic Web through Epistemic Operators (← links)
• Riccardo Rosati (← links)
• James A. Hendler/Publication (← links)
• AI's 10 to Watch (← links)
• Metalevel Information in Ontology-Based Applications (← links)
• Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi (← links)
• Individual Reuse in Description Logic Reasoning (← links)
• OWL Datatypes: Design and Implementation (← links)
• Representing Structured Objects using Description Graphs (← links)
• Rewriting Conjunctive Queries over Description Logic Knowledge Bases (← links)
• OWL 2: The next step for OWL (← links)
• The Representation of Structured Objects in DLs using Description Graphs (← links)
• Semantics and Reasoning Algorithms for a Faithful Integration of Description Logics and Rules (← links)
• Deciding expressive description logics in the framework of resolution (← links)
• Reasoning in Description Logics by a Reduction to Disjunctive Datalog (← links)
• A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes (← links)
• Description Logics and Disjunctive Datalog The Story so Far (← links)
• A mapping system for the integration of OWL-DL ontologies (← links)
• Bridging the Paradigm Gap with Rules for OWL (← links)
• Incrementally Maintaining Materializations of Ontologies Stored in Logic Databases (← links)
• Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution (← links)

View (previous 50) (next 50) (20 | 50 | 100 | 250 | 500)