]> 2009-11-23T19:13:31+00:00 Journal Paper DBLP:journals/jods/PanSSTH06 Model-Driven Ontology Engineering Emergent Semantics from Folksonomies: A Quantitative Study Embedding Defaults into Terminological Knowledge Representation Formalisms A proof markup language for Semantic Web services Explaining Answers from the Semantic Web: the Inference Web Approach Introduction: Logic Programming, Non-Monotonic Reasoning and Reasoning about Actions Decidability of SHIQ with complex role inclusion axioms Special Issue: Configuration Design Conceptual modelling for configuration: A description logic-based approach The Workshops at the Twentieth National Conference on Artificial Intelligence The General-Motors Variation-Reduction Adviser Term Subsumption Languages in Knowledge Representation Combinations of Modal Logics The GRAIL concept modelling language for medical terminology A Hierarchical Component-based WebGIS and Its Key Technologies Enabling knowledge representation on the Web by extending RDF Schema Search on the Semantic Web 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 Knowledge Provenance Infrastructure Hybrid Logics and Ontology Languages Where Are the Rules? Question Answering on the Semantic Web An Industrial-Strength Description-Logics-Based Configurator Platform Social Networks Applied Ontologies and Electronic Commerce An Analysis of Empirical Testing for Modal Decision Procedures DBLP:journals/igpl/HorrocksST00 Integrated Support for Data Archeology 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 A description logic-based configurator on the web The CLASSIC Knowledge Representation System: Guiding Principles and Implementation Rationale Remarks on the 11th International Conference on Research and Development in Information Retrieval Accurate crosstalk noise modeling for early signal integrity analysis OILing the way to machine understandable bioinformatics resources Building a bioinformatics ontology using OIL RDFS(FA): Connecting RDF(S) and OWL DL On circuit techniques to improve noise immunity of CMOS dynamic logic Simultaneous switching noise analysis using application specific device modeling 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 An Overview of Tableau Algorithms for Description Logics The New Challenges for E-learning: The Educational Semantic Web Ontology-Enabled Pervasive Computing Applications Is It Possible to Build Dramatically Compelling Interactive Digital Entertainment (in the form, e.g., of computer games)? Type data bases with incomplete information Semantic Web Mining: State of the art and future directions The requirements of using provenance in e-Science experiments A survey of data provenance in e-science Conjunctive Query Containment and Answering under Description Logics Constraints Research Problems in Data Provenance Tracing the lineage of view data in a warehousing environment Provenance in Databases: Past, Current, and Future Lineage retrieval for scientific data processing: a survey Software Reuse Provenance in Scientific Workflow Systems Provenance and Data Synchronization Issues in Building Practical Provenance Systems Extracting causal graphs from an open provenance data model The platform for privacy preferences SemanticWikipedia The two cultures: Mashing up Web 2.0 and the Semantic Web The Earth System Grid: Supporting the Next Generation of Climate Modeling Research Collective knowledge systems: Where the Social Web meets the Semantic Web Semantic Web and Web 2.0 Using the Semantic Web for linking and reusing data across Web 2.0 communities Mass argumentation and the semantic web Discovering shared conceptualizations in folksonomies HGRDDL: Bridging microformats and RDFa Bridging the semantic Web and Web 2.0 with Representational State Transfer (REST) Ease of interaction plus ease of integration: Combining Web2.0 and the Semantic Web in a reviewing site SweetWiki: A semantic wiki A Survey of Trust in Computer Science and the Semantic Web Ranked Relations: Query Languages and Query Processing Methods for Multimedia Recognizing Composite Graphs is Equivalent to Testing Graph Isomorphism The Complexity of Enriched Mu-Calculi Automated discovery, interaction and composition of Semantic Web services Multimedia Pedagogues: Interactive Systems for teaching and Learning Interlinking the Social Web with Semantics Order Statistic Filter (OSF): A Novel Approach to Document Analysis The Complexity of Problems on Graphs Represented as OBDDs Semantic Web 2.0 Regular Paper Publication