]> 2012-05-29T09:13:39-04:00 Boris Motik Boris Boris Motik Motik Optimized Reasoning in Description Logics Using Hypertableaux Can OWL and Logic Programming Live Together Happily Ever After? OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences Bridging the gap between OWL and relational databases Matching Semantic Service Descriptions with Local Closed-World Reasoning On the Properties of Metamodeling in OWL Query Answering for OWL-DL with Rules An infrastructure for searching, reusing and evolving distributed ontologies KAON SERVER - A Semantic Web Management System A Hypertableau Calculus for SHIQ Data Complexity of Reasoning in Very Expressive Description Logics A Faithful Integration of Description Logics with Logic Programming A Fuzzy Model for Representing Uncertain, Subjective, and Vague Temporal Knowledge in Ontologies Incremental Maintenance of Materialized Ontologies Structured objects in owl: representation and reasoning Adding Integrity Constraints to OWL Query Answering for OWL-DL with rules Closed-World Reasoning in the Semantic Web through Epistemic Operators Metalevel Information in Ontology-Based Applications Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi Individual Reuse in Description Logic Reasoning OWL Datatypes: Design and Implementation Representing Structured Objects using Description Graphs Rewriting Conjunctive Queries over Description Logic Knowledge Bases OWL 2: The next step for OWL The Representation of Structured Objects in DLs using Description Graphs Semantics and Reasoning Algorithms for a Faithful Integration of Description Logics and Rules Deciding expressive description logics in the framework of resolution Reasoning in Description Logics by a Reduction to Disjunctive Datalog A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes A mapping system for the integration of OWL-DL ontologies Description Logics and Disjunctive Datalog The Story so Far Bridging the Paradigm Gap with Rules for OWL Incrementally Maintaining Materializations of Ontologies Stored in Logic Databases Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution Reducing SHIQ-Description Logic to Disjunctive Datalog Programs A Decomposition Rule for Decision Procedures by Resolution-Based Calculi An Extensible Ontology Software Environment Optimizing Query Answering in Description Logics using Disjunctive Deductive Databases Incremental Maintenance of dynamic Datalog programs Ontologies for Enterprise Knowledge Management Managing multiple and distributed ontologies on the Semantic Web A Conceptual Modeling Approach for Semantics-Driven Enterprise Applications KAON - Towards a Large Scale Semantic Web MAFRA - A MApping FRAmework for Distributed Ontologies User-Driven Ontology Evolution Management Managing Multiple Ontologies and Ontology Evolution in Ontologging AI's 10 to Watch Has author Has identifier Foaf:surname Foaf:name Foaf:firstName Anonymous.png Foaf:depiction Person