]> 2009-11-23T15:42:46+00:00 Proceeding Paper Workshop Paper Ontology maturing with lightweight collaborative ontology editing tools Bayesian adaptive user profiling with explicit & implicit feedback Conference Paper Package-Based Description Logics - Preliminary Results A Tableau-Based Federated Reasoning Algorithm for Modular Ontologies Algorithms and Software for Collaborative Discovery from Autonomous, Semantically Heterogeneous, Distributed Information Sources Actively Exploring Creation of Face Space(s) for Improved Face Recognition Integration of Domain-Specific and Domain-Independent Ontologies for Colonoscopy Video Database Annotation Query Translation for Ontology-Extended Data Sources Process Mediation in Semantic Web Services PACS development in China and the Component PACS system Optical-Electronic Shape Recognition System Based on Synergetic Sssociative Memory Some Key Issues In Drawing Archiving and Communication System Learning In Mutiagent Distributed Control Matters Digital Image Self-Adaptive Acquisition In Medical X-Ray Imaging Valid Region Recognition In Digital Image Self-Adaptive Acquisition of Medical X-Ray Imaging UDMGrid: A Grid Application for University Digital Museums A CGSP-Based Grid Application for University Digital Museums The Progress of University Digital Museum Grid Processing complex RDF queries over P2P networks RDFPeers: a scalable distributed RDF repository based on a structured peer-to-peer network How to Prefer More Specific Defaults in Terminological Default Logic A Defeasible Ontology Language An Epistemic Logic for Arbitration (Extended Abstract) Using Preference Order in Ontologies Mereological Semantics for Bio-Ontologies Usability Issues in Knowledge Representation Systems The General Motors Variation-Reduction Adviser: Deployment Issues for an AI Application 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 Swoogle: a search and metadata engine for the semantic web An Introduction to the Heuristic Programming System A volcano erupts: semantically mediated integration of heterogeneous volcanic and atmospheric data Extending Datatype Support in Web Ontology Reasoning DBLP:conf/coopis/PanH02a A novel technique to improve noise immunity of CMOS dynamic logic circuits Ontologies and Schema Languages on the Web Optimal Transistor Tapering for High-Speed CMOS Circuits Modeling Noise Transfer Characteristic of Dynamic Logic Gates Accurate Estimating Simultaneous Switching Noises by Using Application Specific Device Modeling Handling Cyclic Conjunctive Queries Asking Queries about Frames 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 Reasoning with Black Boxes: Handling Test Concepts in CLASSIC 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 Description Logics Emerge from Ivory Towers Configuration RDFS(FA): A DL-ised Sub-language of RDFS The CLASSIC Knowledge Representation System: Implementation, Applications, and Beyond Extending DL Reasoning Support for the OWL Datatyping (or "Why Datatype Groups?") Making Description Logic Based Knowledge Representation Systems More Usable Usability Issues in DL Systems Towards Explaining Semantic Matching 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 The CLASSIC Knowledge Representation System or, KL-ONE: The Next Generation Reasoning Support for Expressive Ontology Languages Using a Theorem Prover How the Semantic Web is Being Used: An Analysis of FOAF Documents F-SWRL: A Fuzzy Extension of SWRL Efficient crosstalk noise modeling using aggressor and tree reductions Matching in Description Logics: Preliminary Results Applications of Description Logics: State of the Art and Research Challenges DBLP:conf/iclp/Horrocks05 Semantic Web: The Story So Far Regular Paper Publication