]> 2012-05-29T10:07:50-04:00 Ian Horrocks Ian Ian Horrocks Horrocks Home Page DBLP:journals/jods/PanSSTH06 Optimising Propositional Modal Satisfiability for Description Logic Subsumption Feasibility of Optimised Disjunctive Reasoning for Approximate Matching Description Logics as Ontology Languages for the Semantic Web The OWL Instance Store: System Description Reasoning with Expressive Description Logics: Theory and Practice Reasoning with Individuals for the Description Logic SHIQ Description Logic Reasoner: System Description Optimized Reasoning in Description Logics Using Hypertableaux Extending Datatype Support in Web Ontology Reasoning DBLP:conf/coopis/PanH02a Ontologies and Schema Languages on the Web Handling Cyclic Conjunctive Queries Knowledge Representation on the Web Driving User Interfaces from FaCT Matchmarking Using an Instance Store: Some Preliminary Results OilEd: a Reason-able Ontology Editor for the Semantic Web A Proposal for a Description Logic Interface Explaining ALC Subsumption Implementation and Optimization Techniques FaCT Kris FaCT and iFaCT Description Logics with Transitive Roles The Instance Store: DL Reasoning with Large Numbers of Individuals Digital Libraries and Web-based Information Systems The Generation of DAML+OIL Reducing OWL Entailment to Description Logic Satisfability DL Systems Comparison (Summary Relation) Comparing Subsumption Optimizations Performance of DLP on Random Modal Formulae A Description Logic with Transitive and Inverse Roles and Role Hierarchies Using a Description Logic with Concept Inclusions Answering Conjunctive Queries over DL Aboxes: A Preliminary Report Optimisation of Terminological Reasoning RDFS(FA): A DL-ised Sub-language of RDFS Extending DL Reasoning Support for the OWL Datatyping (or "Why Datatype Groups?") Will my Ontologies Fit Together? Automated Benchmarking of Description Logic Reasoners Conjunctive Query Answering for Description Logics with Transitive Roles DL Reasoner vs. First-Order Prover Efficient Reasoning with Range and Domain Constraints Optimised Classification for Taxonomic Knowledge Bases DBLP:conf/ecai/BorgidaFH00 Optimised Reasoning for SHIQ DAML+OIL: A Reason-able Web Ontology Language OIL in a Nutshell OWL-Eu: Adding Customised Datatypes into OWL Reasoning Support for Expressive Ontology Languages Using a Theorem Prover F-SWRL: A Fuzzy Extension of SWRL Applications of Description Logics: State of the Art and Research Challenges DBLP:conf/iclp/Horrocks05 Semantic Web: The Story So Far Ontology Reasoning in the SHOQ(D) Description Logic Decidability of SHIQ with Complex Role Inclusion Axioms A Tableaux Decision Procedure for SHOIQ Keys, Nominals, and Concrete Domains Ordering Heuristics for Description Logic Reasoning A Logical Framework for Modularity of Ontologies Conjunctive Query Answering for the Description Logic SHIQ OilEd: A Reason-able Ontology Editor for the Semantic Web Description Logics in Ontology Applications Using an Expressive Description Logic: FaCT or Fiction? The Even More Irresistible SROIQ Reasoning with Axioms: Theory and Practice Evaluating a Modular Abox Algorithm A Description Logic Based Schema for the Classification of Medical Data How to decide Query Containment under Constraints using a Description Logic Practical Reasoning for Expressive Description Logics How to Decide Query Containment Under Constraints Using a Description Logic Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics DAML+OIL is not Enough Reducing OWL Entailment to Description Logic Satisfiability Querying the Semantic Web: A Formal Approach Framework for an Automated Comparison of Description Logic Reasoners Metamodeling Architecture of Web Ontology Languages DBLP:conf/semweb/PanH01a RDFS(FA) and RDF MT: Two Semantics for RDFS Web Ontology Reasoning with Datatype Groups Can OWL and Logic Programming Live Together Happily Ever After? The Fuzzy Description Logic f-SHIN A Little Semantic Web Goes a Long Way in Biology OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences Using Vampire to Reason with OWL A Semantic Infosphere Benchmark Analysis with FaCT DBLP:conf/tableaux/Horrocks05 The FaCT System FaCT and DLP DLP and FaCT A Fuzzy Extension of SWRL OWL Rules, OK? Semantic web: the story so far DAML+OIL: A Reason-Able Web Ontology Language A software framework for matchmaking based on semantic web technology Enabling knowledge representation on the Web by extending RDF schema Description logic programs: combining logic programs with description logic Three theses of representation in the semantic web A proposal for an owl rules language OWL FA: a metamodeling extension of OWL DL Position paper: a comparison of two modelling paradigms in the Semantic Web Just the right amount: extracting modules from ontologies Bridging the gap between OWL and relational databases Decidability of SHIQ with complex role inclusion axioms Combinations of Modal Logics The GRAIL concept modelling language for medical terminology Enabling knowledge representation on the Web by extending RDF Schema Reasoning with Axioms: Theory and Pratice Practical Reasoning for Very Expressive Description Logics DBLP:journals/corr/cs-LO-0005014 DBLP:journals/corr/cs-LO-0005017 DAML+OIL: a Description Logic for the Semantic Web Hybrid Logics and Ontology Languages Where Are the Rules? An Analysis of Empirical Testing for Modal Decision Procedures DBLP:journals/igpl/HorrocksST00 The Semantic Web: The Roles of XML and RDF Keys, Nominals, and Concrete Domains (Journal) Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability A Tableau Decision Procedure for SHOIQ Optimizing Terminological Reasoning for Expressive Description Logics Description Logics for the Semantic Web Report on the 1998 International Workshop on Description Logics (DL'98) Optimizing Description Logic Subsumption DBLP:journals/logcom/HorrocksS99 Logic for Ontology Engineering Corner OILing the way to machine understandable bioinformatics resources Building a bioinformatics ontology using OIL RDFS(FA): Connecting RDF(S) and OWL DL OWL-QL - a language for deductive query answering on the Semantic Web A comparison of two modelling paradigms in the Semantic Web WWW conference special issue Reducing OWL entailment to description logic satisfiability OWL rules: A proposal and prototype implementation From SHIQ and RDF to OWL: the making of a Web Ontology Language OWL-Eu: Adding customised datatypes into OWL Application of OWL 1.1 to Systems Engineering Description Logics Reviewing the Design of DAML+OIL: An Ontology Language for the Semantic Web A Conjunctive Query Language for Description Logic Aboxes Deciding Semantic Matching of Stateless Services Conjunctive Query Entailment for SHOQ Ontology Reuse: Better Safe than Sorry A Hypertableau Calculus for SHIQ Ontologies and the semantic web The OBO to OWL Mapping, GO to OWL 1.1! Adding Integrity Constraints to OWL Extracting Modules from Ontologies: A Logic-based Approach Reasoning with Very Expressive Fuzzy Description Logics Metalevel Information in Ontology-Based Applications Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi Individual Reuse in Description Logic Reasoning OWL Datatypes: Design and Implementation Unions of Conjunctive Queries in SHOQ Representing Structured Objects using Description Graphs Rewriting Conjunctive Queries over Description Logic Knowledge Bases OWL 2: The next step for OWL OWL: A Description Logic Based Ontology Language Next Steps for OWL OWL FA: A Metamodeling Extension of OWL DL Semantic Web Architecture: Stack or Two Towers? Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, Galway, Ireland, November 11-12, 2005 Closed-World Reasoning in the Semantic Web through Epistemic Operators Has editor Has author Has role Has identifier Oxford University Has affiliation Foaf:surname Foaf:name Description Logics Semantic Web Topic Foaf:interest Foaf:firstName Anonymous.png Foaf:depiction Person Full Professor