An epistemic operator for description logics
Artificial Intelligence
{\cal A}{\cal L}-log: Integrating Datalog and Description Logics
Journal of Intelligent Information Systems
Combining OWL ontologies using E-Connections
Web Semantics: Science, Services and Agents on the World Wide Web
Using a software process for ontology-based context-aware computing: a case study
WebMedia '06 Proceedings of the 12th Brazilian Symposium on Multimedia and the web
ATerms for manipulation and exchange of structured data: It's all about sharing
Information and Software Technology
Hybrid Logics and Ontology Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
AOW '06 Proceedings of the second Australasian workshop on Advances in ontologies - Volume 72
A Tableau Decision Procedure for $\mathcal{SHOIQ}$
Journal of Automated Reasoning
Optimizing Terminological Reasoning for Expressive Description Logics
Journal of Automated Reasoning
Guest editorial preface: Special issue on contexts and ontologies
The Knowledge Engineering Review
Situational reasoning for task-oriented mobile service recommendation
The Knowledge Engineering Review
Enabling ontology-based document classification and management in ebXML registries
Proceedings of the 2008 ACM symposium on Applied computing
Computing minimum cost diagnoses to repair populated DL-based ontologies
Proceedings of the 17th international conference on World Wide Web
Semantically-enhanced on-demand resource provision and management for the grid
Multiagent and Grid Systems - Special Issue on "Advances in Grid services Engineering and Management"
Enabling attribute delegation in ubiquitous environments
Mobile Networks and Applications
Ballroom etiquette: A Case Study for Norm-Governed Multi-Agent Systems
Coordination, Organizations, Institutions, and Norms in Agent Systems II
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
The NExT System: Towards True Dynamic Adaptations of Semantic Web Service Compositions
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
The Web Service Modeling Toolkit - An Integrated Development Environment for Semantic Web Services
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Understanding Large Volumes of Interconnected Individuals by Visual Exploration
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
ICCS '08 Proceedings of the 16th international conference on Conceptual Structures: Knowledge Visualization and Reasoning
Service Specification and Matchmaking Using Description Logic
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Fusing DL Reasoning with HTN Planning
KI '08 Proceedings of the 31st annual German conference on Advances in Artificial Intelligence
Learning Disjointness for Debugging Mappings between Lightweight Ontologies
EKAW '08 Proceedings of the 16th international conference on Knowledge Engineering: Practice and Patterns
Copyright Management for the LUISA Semantic Learning Content Management System
WSKS '08 Proceedings of the 1st world summit on The Knowledge Society: Emerging Technologies and Information Systems for the Knowledge Society
A Synergy of Planning and Ontology Concept Ranking for Semantic Web Service Composition
IBERAMIA '08 Proceedings of the 11th Ibero-American conference on AI: Advances in Artificial Intelligence
Journal of Biomedical Informatics
SBI: a semantic framework to support business intelligence
OBI '08 Proceedings of the first international workshop on Ontology-supported business intelligence
Design issues for knowledge artifacts
Knowledge-Based Systems
Web Semantics: Science, Services and Agents on the World Wide Web
Reasoning with rough description logics: An approximate concepts approach
Information Sciences: an International Journal
Mobile Context-Addressable Messaging with DL-Lite Domain Model
EuroSSC '08 Proceedings of the 3rd European Conference on Smart Sensing and Context
Synthesizing Context for a Sports Domain on a Mobile Device
EuroSSC '08 Proceedings of the 3rd European Conference on Smart Sensing and Context
Combining a DL Reasoner and a Rule Engine for Improving Entailment-Based OWL Reasoning
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Laconic and Precise Justifications in OWL
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
An Interface-Based Ontology Modularization Framework for Knowledge Encapsulation
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Context-Addressable Messaging Service with Ontology-Driven Addresses
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part II on On the Move to Meaningful Internet Systems
Automatic Document Mapping and Relations Building Using Domain Ontology-Based Lexical Chains
ICADL 08 Proceedings of the 11th International Conference on Asian Digital Libraries: Universal and Ubiquitous Access to Information
SAOR: Authoritative Reasoning for the Web
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
Scalable Distributed Ontology Reasoning Using DHT-Based Partitioning
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
Discovery and Uncertainty in Semantic Web Services
Uncertainty Reasoning for the Semantic Web I
A Crisp Representation for Fuzzy $\cal SHOIN$ with Fuzzy Nominals and General Concept Inclusions
Uncertainty Reasoning for the Semantic Web I
Optimizing the Crisp Representation of the Fuzzy Description Logic $\cal \mathcal{SROIQ}$
Uncertainty Reasoning for the Semantic Web I
Dynamic Change Evaluation for Ontology Evolution in the Semantic Web
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
On Automated Testing of Description Logic Reasoners
ICDCIT '08 Proceedings of the 5th International Conference on Distributed Computing and Internet Technology
Process Mining towards Semantics
Advances in Web Semantics I
SOARI: A Service Oriented Architecture to Support Agent Reputation Models Interoperability
Trust in Agent Societies
JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies
Declarative Agent Languages and Technologies VI
Designing Visual Languages for Description Logics
Journal of Logic, Language and Information
Semantic Web Constraint Language and its application to an intelligent shopping agent
Decision Support Systems
CoLoSS: The Coalgebraic Logic Satisfiability Solver
Electronic Notes in Theoretical Computer Science (ENTCS)
An Ontology-based System for Semantic Filtering of XML Data
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the 2009 ACM symposium on Applied Computing
FOSSACS '09 Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
μOR --- A Micro OWL DL Reasoner for Ambient Intelligent Devices
GPC '09 Proceedings of the 4th International Conference on Advances in Grid and Pervasive Computing
Business rules for semantics-aware business modelling: overview and open issues
International Journal of Web Engineering and Technology
Context-based heterogeneous middleware integration
WMUPS '09 Proceedings of the 2009 Workshop on Middleware for Ubiquitous and Pervasive Systems
Composing Modular Ontologies with Distributed Description Logics
Modular Ontologies
Who the Heck Is the Father of Bob?
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
A Flexible API and Editor for SKOS
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
OntOWLClean: Cleaning OWL ontologies with OWL
Proceedings of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006)
Arguments in OWL: A Progress Report
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
HOOPO: A Hybrid Object-Oriented Integration of Production Rules OWL Ontologies
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Interoperability of Learning Objects Copyright in the LUISA Semantic Learning Management System
Information Systems Management
An Online Platform for Semantic Validation of UML Models
ICWE '9 Proceedings of the 9th International Conference on Web Engineering
An Ontology-Based Condition Analyzer for Fault Classification on Railway Vehicles
IEA/AIE '09 Proceedings of the 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: Next-Generation Applied Intelligence
Survey of modular ontology techniques and their applications in the biomedical domain
Integrated Computer-Aided Engineering - Selected papers from the IEEE Conference on Information Reuse and Integration (IRI), July 13-15, 2008
Consistency Checking for Workflows with an Ontology-Based Data Perspective
DEXA '09 Proceedings of the 20th International Conference on Database and Expert Systems Applications
Complete OWL-DL Reasoning Using Relational Databases
DEXA '09 Proceedings of the 20th International Conference on Database and Expert Systems Applications
Explaining Inconsistencies in OWL Ontologies
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Finding ontological correspondences for a domain-independent natural language dialog agent
IAAI'08 Proceedings of the 20th national conference on Innovative applications of artificial intelligence - Volume 3
Conjunctive query answering for the description logic SHIQ
Journal of Artificial Intelligence Research
Expert Systems with Applications: An International Journal
Efficient description logic reasoning in prolog: The dlog system
Theory and Practice of Logic Programming
Reasoning within expressive fuzzy rough description logics
Fuzzy Sets and Systems
A Formal Model of Competence-Based Assessment
Proceedings of the 2009 conference on Artificial Intelligence Research and Development: Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence
Scalable highly expressive reasoner (SHER)
Web Semantics: Science, Services and Agents on the World Wide Web
Semantic oriented ontology cohesion metrics for ontology-based systems
Journal of Systems and Software
Enabling scientific collaboration on the Grid
Future Generation Computer Systems
Semantics-aware matching strategy (SAMS) for the Ontology meDiated Data Integration (ODDI)
International Journal of Knowledge Engineering and Soft Data Paradigms
A Formal Model of Competence-Based Assessment
Proceedings of the 2009 conference on Artificial Intelligence Research and Development: Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence
Semantic Enhancement of the Course Curriculum Design Process
KES '09 Proceedings of the 13th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems: Part I
An Efficient Method for Computing Alignment Diagnoses
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
An Extendable Meta-learning Algorithm for Ontology Mapping
FQAS '09 Proceedings of the 8th International Conference on Flexible Query Answering Systems
Rules and Norms: Requirements for Rule Interchange Languages in the Legal Domain
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
A Decomposition-Based Approach to Optimizing Conjunctive Query Answering in OWL DL
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Goal-Directed Module Extraction for Explaining OWL DL Entailments
ISWC '09 Proceedings of the 8th International Semantic Web Conference
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part II
Semi-automatic Generation of a Patient Preoperative Knowledge-Base from a Legacy Clinical Database
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part II
KSEM '09 Proceedings of the 3rd International Conference on Knowledge Science, Engineering and Management
Two Dependency Modeling Approaches for Business Process Adaptation
KSEM '09 Proceedings of the 3rd International Conference on Knowledge Science, Engineering and Management
Semantic SenseLab: Implementing the vision of the Semantic Web in neuroscience
Artificial Intelligence in Medicine
Using non-monotonic reasoning to manage uncertainty in railway asset diagnostics
Expert Systems with Applications: An International Journal
A context-aware middleware for real-time semantic enrichment of distributed multimedia metadata
Multimedia Tools and Applications
AI Communications - Practical Aspects of Automated Reasoning
Semantic web services matchmaking using bipartite graph matching with ranking
Proceedings of the International Conference and Workshop on Emerging Trends in Technology
Incremental Classification of Description Logics Ontologies
Journal of Automated Reasoning
DLEJena: A practical forward-chaining OWL 2 RL reasoner combining Jena and Pellet
Web Semantics: Science, Services and Agents on the World Wide Web
Content value chains modelling using a copyright ontology
Information Systems
Extending soft sets with description logics
Computers & Mathematics with Applications
Towards the Model Driven Development of context-aware pervasive systems
Pervasive and Mobile Computing
Coordination in open and dynamic environments with TuCSoN semantic tuple centres
Proceedings of the 2010 ACM Symposium on Applied Computing
ICADL'07 Proceedings of the 10th international conference on Asian digital libraries: looking back 10 years and forging new frontiers
Cross: an OWL wrapper for reasoning on relational databases
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Instance migration in heterogeneous ontology environments
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
An ontology for software models and its practical implications for semantic web reasoning
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Ontology aided materials service case analysis
IITA'09 Proceedings of the 3rd international conference on Intelligent information technology application
On Building an Index Advisor for Semantic Web Queries
Proceedings of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010)
Measuring intrinsic quality of semantic search based on feature vectors
International Journal of Metadata, Semantics and Ontologies
A secure data repository for semantic federation of product information
Proceedings of the 11th International Conference on Information Integration and Web-based Applications & Services
Putting abox updates into action
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN
Science of Computer Programming
Using a lightweight ontology of heart electrophysiology in an interactive web application
Companion Proceedings of the XIV Brazilian Symposium on Multimedia and the Web
OCtoPUS: um modelo para classificação de perfil de usuários usando trilhas em sistemas ubíquos
Companion Proceedings of the XIV Brazilian Symposium on Multimedia and the Web
On the benefit of fusing DL-reasoning with HTN-planning
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
An evaluation of semantic service discovery of a U-city middleware
ICACT'10 Proceedings of the 12th international conference on Advanced communication technology
Proceedings of the 7th International Conference on Frontiers of Information Technology
Flexible task resourcing for intelligent agents
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Distributed semantic search for the web: a multiagent approach
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Technically approaching the semantic web bottleneck
International Journal of Web Engineering and Technology
A comprehensive engineering framework for guaranteeing component compatibility
Journal of Systems and Software
International Journal of Web and Grid Services
Semantic-based authorization architecture for Grid
Future Generation Computer Systems
A platform based on web services for context middleware integration
WebMedia '09 Proceedings of the XV Brazilian Symposium on Multimedia and the Web
Towards robust multi-tool tagging. An OWL/DL-based approach
ACL '10 Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics
Access control: what is required in business collaboration?
ADC '09 Proceedings of the Twentieth Australasian Conference on Australasian Database - Volume 92
Editorial: Detection of semantic conflicts in ontology and rule-based information systems
Data & Knowledge Engineering
Scalable and efficient reasoning for enforcing role-based access control
DBSec'10 Proceedings of the 24th annual IFIP WG 11.3 working conference on Data and applications security and privacy
Towards a pervasive infrastructure for chemical-inspired self-organising services
SOAR'09 Proceedings of the First international conference on Self-organizing architectures
Approximate instance retrieval on ontologies
DEXA'10 Proceedings of the 21st international conference on Database and expert systems applications: Part I
Flexible concept-based argumentation in dynamic scenes
KI'10 Proceedings of the 33rd annual German conference on Advances in artificial intelligence
Supporting runtime system evolution to adapt to user behaviour
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Using semantics to bridge the information and knowledge sharing gaps in virtual engineering
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part II
Decomposition-based optimization for debugging of inconsistent OWL DL ontologies
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
The SIOC project: semantically-interlinked online communities, from humans to machines
COIN'09 Proceedings of the 5th international conference on Coordination, organizations, institutions, and norms in agent systems
Deploying a semantically-enabled content management system in a state university
EGOVIS'10 Proceedings of the First international conference on Electronic government and the information systems perspective
Discovering Semantic Web services using SPARQL and intelligent agents
Web Semantics: Science, Services and Agents on the World Wide Web
A resolution based description logic calculus
Acta Cybernetica
Supporting concurrent ontology development: Framework, algorithms and tool
Data & Knowledge Engineering
Representation and monitoring of commitments and norms using OWL
AI Communications - European Workshop on Multi-Agent Systems (EUMAS) 2009
Relationships and data sanitization: a study in scarlet
Proceedings of the 2010 workshop on New security paradigms
Design of a performance-oriented workplace e-learning system using ontology
Expert Systems with Applications: An International Journal
Accessing data through ontologies with ONDA
Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research
Towards runtime discovery, selection and composition of semantic services
Computer Communications
Flexible SLA negotiation using semantic annotations
ICSOC/ServiceWave'09 Proceedings of the 2009 international conference on Service-oriented computing
On the support of dynamic service composition at runtime
ICSOC/ServiceWave'09 Proceedings of the 2009 international conference on Service-oriented computing
Automating routine tasks in AmI systems by using models at runtime
AmI'10 Proceedings of the First international joint conference on Ambient intelligence
Expert Systems with Applications: An International Journal
Evaluating probability of default: Intelligent agents in managing a multi-model system
Expert Systems with Applications: An International Journal
OWL-POLAR: semantic policies for agent reasoning
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Query strategy for sequential ontology debugging
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Experience of using OWL ontologies for automated inference of routine pre-operative screening tests
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part II
SPARSE: A symptom-based antipattern retrieval knowledge-based system using Semantic Web technologies
Expert Systems with Applications: An International Journal
Expert Systems with Applications: An International Journal
A combinatory framework of Web 2.0 mashup tools, OWL-S and UDDI
Expert Systems with Applications: An International Journal
ThinkHome energy efficiency in future smart homes
EURASIP Journal on Embedded Systems - Special issue on networked embedded systems for energy management and buildings
Nominals, inverses, counting, and conjunctive queries or: why infinity is your friend!
Journal of Artificial Intelligence Research
Implementing automated robot task planning and execution based on description logic KB
SIMPAR'10 Proceedings of the Second international conference on Simulation, modeling, and programming for autonomous robots
Using ontological contexts to assess the relevance of statements in ontology evolution
EKAW'10 Proceedings of the 17th international conference on Knowledge engineering and management by the masses
A Prolog-based Query Language for OWL
Electronic Notes in Theoretical Computer Science (ENTCS)
An efficient XML to OWL converter
Proceedings of the 4th India Software Engineering Conference
Semantic Web-Based Management of Routing Configurations
Journal of Network and Systems Management
Coordinating e-health systems with TuCSoN semantic tuple centres
ACM SIGAPP Applied Computing Review
Proceedings of the 4th International Workshop on Logic in Databases
Personal and Ubiquitous Computing
Overcoming the ontology enrichment bottleneck with Quick Term Templates
Applied Ontology - Biomedical Ontologies
MIREOT: The minimum information to reference an external ontology term
Applied Ontology - Biomedical Ontologies
Description spaces with fuzziness
Proceedings of the 2011 ACM Symposium on Applied Computing
Knowledge representation and reasoning of XML with ontology
Proceedings of the 2011 ACM Symposium on Applied Computing
Towards managing software architectures with ontologies
Graph transformations and model-driven engineering
A web of knowledge: a conceptual-modeling perspective
The evolution of conceptual modeling
An energy aware context model for green IT service centers
ICSOC'10 Proceedings of the 2010 international conference on Service-oriented computing
Large knowledge collider: a service-oriented platform for large-scale semantic reasoning
Proceedings of the International Conference on Web Intelligence, Mining and Semantics
Proceedings of the International Conference on Web Intelligence, Mining and Semantics
Providing user support in Web-of-Things enabled smart spaces
Proceedings of the Second International Workshop on Web of Things
Data & Knowledge Engineering
Querying and reasoning with RDF(S)/OWL in XQuery
APWeb'11 Proceedings of the 13th Asia-Pacific web conference on Web technologies and applications
An access control language based on term rewriting and description logic
WFLP'10 Proceedings of the 19th international conference on Functional and constraint logic programming
A description logic approach to discover suspicious itineraries from maritime container trajectories
GeoS'11 Proceedings of the 4th international conference on GeoSpatial semantics
Elimination of redundancy in ontologies
ESWC'11 Proceedings of the 8th extended semantic web conference on The semantic web: research and applications - Volume Part I
Ontology and database mapping: a survey of current implementations and future directions
Journal of Web Engineering
Privacy protection for smartphones: an ontology-based firewall
WISTP'11 Proceedings of the 5th IFIP WG 11.2 international conference on Information security theory and practice: security and privacy of mobile devices in wireless communication
The design and implementation of minimal RDFS backward reasoning in 4store
ESWC'11 Proceedings of the 8th extended semantic web conference on The semanic web: research and applications - Volume Part II
Towards custom cloud services: using semantic technology to optimize resource configuration
ESWC'11 Proceedings of the 8th extended semantic web conference on The semanic web: research and applications - Volume Part II
Hybrid reasoning for ontology classification
Canadian AI'11 Proceedings of the 24th Canadian conference on Advances in artificial intelligence
The COSE ontology: bringing the semantic web to smart environments
ICOST'11 Proceedings of the 9th international conference on Toward useful services for elderly and people with disabilities: smart homes and health telematics
OCEAN: an ontology for supporting interoperability service utilities in virtual organisations
International Journal of Networking and Virtual Organisations
A hybrid deliberative layer for robotic agents: fusing DL reasoning with HTN planning in autonomous robots
Automated reasoning in ALCQ via SMT
CADE'11 Proceedings of the 23rd international conference on Automated deduction
A hybrid method for probabilistic satisfiability
CADE'11 Proceedings of the 23rd international conference on Automated deduction
Rewriting queries for web searches that use local expressions
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Foundations of description logics
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Probabilistic-logical web data integration
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
A semantic model for enhancing network services management and auditing
NEW2AN'11/ruSMART'11 Proceedings of the 11th international conference and 4th international conference on Smart spaces and next generation wired/wireless networking
A mechanism for discovering semantic relationships among agent communication protocols
Autonomous Agents and Multi-Agent Systems
DeLorean: A reasoner for fuzzy OWL 2
Expert Systems with Applications: An International Journal
ASPARAGUS - a system for automatic SPARQL query results aggregation using semantics
ICCCI'11 Proceedings of the Third international conference on Computational collective intelligence: technologies and applications - Volume Part I
Creating a performance-oriented e-learning environment: A design science approach
Information and Management
Experiments on semantic interoperability of agent reputation models using the SOARI architecture
Engineering Applications of Artificial Intelligence
Reasoning support for flexible task resourcing
Expert Systems with Applications: An International Journal
Coherent top-k ontology alignment for OWL EL
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Model-based object recognition from 3D laser data
KI'11 Proceedings of the 34th Annual German conference on Advances in artificial intelligence
Concurrent classification of EL ontologies
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
A semantic portal for next generation monitoring systems
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part II
Towards summarizing knowledge: Brief ontologies
Expert Systems with Applications: An International Journal
Resource and service discovery in SOAs: A P2P oriented semantic approach
International Journal of Applied Mathematics and Computer Science - SPECIAL SECTION: Efficient Resource Management for Grid-Enabled Applications
Towards a multimodality ontology image retrieval
IVIC'11 Proceedings of the Second international conference on Visual informatics: sustaining research and innovations - Volume Part II
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Ontology-based matching of security attributes for personal data access in e-health
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part II
Inductive learning of disjointness axioms
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part II
Semantic integration of information about orthologs and diseases: The OGO system
Journal of Biomedical Informatics
Modeling data mining processes in computational multi-agent systems
Proceedings of the International Conference on Management of Emergent Digital EcoSystems
The extension-based inference algorithm for pD*
Data & Knowledge Engineering
Hybrid query processing for personalized information retrieval on the Semantic Web
Knowledge-Based Systems
A novel architecture for Web service composition
Journal of Network and Computer Applications
Framework for an automated comparison of description logic reasoners
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
A survey of the web ontology landscape
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
Trends and issues in description logics frameworks for image interpretation
SETN'10 Proceedings of the 6th Hellenic conference on Artificial Intelligence: theories, models and applications
Leveraging terminological structure for object reconciliation
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part II
Two phase description logic reasoning for efficient information retrieval
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part II
Johnny: An Autonomous Service Robot for Domestic Environments
Journal of Intelligent and Robotic Systems
OWL-POLAR: A framework for semantic policy representation and reasoning
Web Semantics: Science, Services and Agents on the World Wide Web
Context-dependent views to axioms and consequences of Semantic Web ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
Interactive ontology debugging: Two query strategies for efficient fault localization
Web Semantics: Science, Services and Agents on the World Wide Web
Journal of Biomedical Informatics
An ontology for managing network services quality
Expert Systems with Applications: An International Journal
Ontology and time evolution of obligations and prohibitions using semantic web technology
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
ONTO-EVOAL an ontology evolution approach guided by pattern modeling and quality evaluation
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
Using ontology reasoning for reverse engineering design patterns
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Optimized description logic reasoning via core blocking
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
An ontology for computer-based decision support in rehabilitation
MICAI'11 Proceedings of the 10th Mexican international conference on Advances in Artificial Intelligence - Volume Part I
Combining semantic web and logic programming for agent reasoning
AAMAS'11 Proceedings of the 10th international conference on Advanced Agent Technology
Evolving semantics for agent-based collaborative search
AAMAS'11 Proceedings of the 10th international conference on Advanced Agent Technology
R2RIF - rule integration plugin for protégé OWL
EUROCAST'11 Proceedings of the 13th international conference on Computer Aided Systems Theory - Volume Part I
Multi-Agent system for semantic web service composition
KSEM'11 Proceedings of the 5th international conference on Knowledge Science, Engineering and Management
Reasoning over OWL/SWRL ontologies under CWA and UNA for industrial applications
AI'11 Proceedings of the 24th international conference on Advances in Artificial Intelligence
Authorization in cross-border eHealth systems
Information Systems Frontiers
Expert and community based style advice
Expert Systems with Applications: An International Journal
A non-monotonic expressiveness extension on the semantic web rule language
Journal of Web Engineering
Uniform evaluation of nonmonotonic DL-Programs
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Solving graded/probabilistic modal logic via linear inequalities (system description)
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Cooperative situation assessment in a maritime scenario
International Journal of Intelligent Systems
Agents and knowledge interoperability in the semantic web era
Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics
A novel approach to ontology classification
Web Semantics: Science, Services and Agents on the World Wide Web
Semantic decision making using ontology-based soft sets
Mathematical and Computer Modelling: An International Journal
Event-driven adaptive collaboration using semantically-enriched patterns
Expert Systems with Applications: An International Journal
Learning strategies for task delegation in norm-governed environments
Autonomous Agents and Multi-Agent Systems
Evaluating the X3D schema with semantic web tools
Proceedings of the 17th International Conference on 3D Web Technology
Accessing learning resources described in semantically enriched weblogs
International Journal of Metadata, Semantics and Ontologies
Execution trace exploration and analysis using ontologies
RV'11 Proceedings of the Second international conference on Runtime verification
Semantic context dissemination and service matchmaking in future network management
International Journal of Network Management
Towards ABox Modularization of semi-expressive Description Logics
Applied Ontology - Modularity in Ontologies
P2P approach to knowledge-based dynamic virtual organizations inception and management
PPAM'11 Proceedings of the 9th international conference on Parallel Processing and Applied Mathematics - Volume Part II
Extended caching, backjumping and merging for expressive description logics
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
Benchmarking results of semantic reasoners applied to an ambient assisted living environment
ICOST'12 Proceedings of the 10th international smart homes and health telematics conference on Impact Ananlysis of Solutions for Chronic Disease Prevention and Management
SWRL2COOL: object-oriented transformation of SWRL in the CLIPS production rule engine
SETN'12 Proceedings of the 7th Hellenic conference on Artificial Intelligence: theories and applications
Generating correct compositions of semantic web services with respect to temporal constraints
Proceedings of the 18th Brazilian symposium on Multimedia and the web
Semantic querying over knowledge in biomedical text corpora annotated with multiple ontologies
Proceedings of the ACM Conference on Bioinformatics, Computational Biology and Biomedicine
Completeness guarantees for incomplete ontology reasoners: theory and practice
Journal of Artificial Intelligence Research
OmpiJava: a tool for development of high-performance reasoning applications for the semantic web
Proceedings of the 2012 international workshop on Web-scale knowledge representation, retrieval and reasoning
A defeasible reasoning approach for description logic ontologies
Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference
A user and NLP-assisted strategic workflow for a social semantic OWL 2-based knowledge platform
Proceedings of the Workshop on Semantic Analysis in Social Media
ICA3D - Intelligent computer-aided ancient Chinese architecture design
Advanced Engineering Informatics
BioOntoVerb: A top level ontology based framework to populate biomedical ontologies from texts
Knowledge-Based Systems
RDOTE - Publishing Relational Databases into the Semantic Web
Journal of Systems and Software
SensorStream: a semantic real-time stream management system
International Journal of Ad Hoc and Ubiquitous Computing
Multi-criteria decision making in ontologies
Information Sciences: an International Journal
Improving semantic web services discovery using SPARQL-based repository filtering
Web Semantics: Science, Services and Agents on the World Wide Web
An approach to parallel class expression learning
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
T-square: a domain specific language for rapid workflow development
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
An ontology-centric architecture for extensible scientific data management systems
Future Generation Computer Systems
Checking and handling inconsistency of DBpedia
WISM'12 Proceedings of the 2012 international conference on Web Information Systems and Mining
EKAW'12 Proceedings of the 18th international conference on Knowledge Engineering and Knowledge Management
Magic-Sets for datalog with existential quantifiers
Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
An ontological approach to systematization of SW-FMEA
SAFECOMP'12 Proceedings of the 31st international conference on Computer Safety, Reliability, and Security
Information Systems Frontiers
MORe: modular combination of OWL reasoners for ontology classification
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
Performance heterogeneity and approximate reasoning in description logic ontologies
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
Predicting reasoning performance using ontology metrics
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
Cost based query ordering over OWL ontologies
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
Semantic reasoning in context-aware assistive environments to support ageing with dementia
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part II
A hybrid reasoning mechanism for effective sensor selection for tasks
Engineering Applications of Artificial Intelligence
Validating the semantics of a medical iconic language using ontological reasoning
Journal of Biomedical Informatics
IWAAL'12 Proceedings of the 4th international conference on Ambient Assisted Living and Home Care
TURAMBAR: an approach to deal with uncertainty in semantic environments
IWAAL'12 Proceedings of the 4th international conference on Ambient Assisted Living and Home Care
Towards Practical ABox Abduction in Large Description Logic Ontologies
International Journal on Semantic Web & Information Systems
Semantic-based approach for route determination and ontologyupdating
Engineering Applications of Artificial Intelligence
Advanced computational reasoning based on the NKRL conceptual model
Expert Systems with Applications: An International Journal
A semantic metrics suite for evaluating modular ontologies
Information Systems
Science of Computer Programming
OWL-based reasoning methods for validating archetypes
Journal of Biomedical Informatics
A patent system ontology for facilitating retrieval of patent related information
Proceedings of the 6th International Conference on Theory and Practice of Electronic Governance
Semantics enhanced engineering and model reasoning for control application development
Multimedia Tools and Applications
A survey of intelligent assistants for data analysis
ACM Computing Surveys (CSUR)
Making the most of your triple store: query answering in OWL 2 using an RL reasoner
Proceedings of the 22nd international conference on World Wide Web
Software agent reasoning supporting non-intrusive building space usage monitoring
Computers in Industry
Cascading verification: an integrated method for domain-specific model checking
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
KnowRob: A knowledge processing infrastructure for cognition-enabled robots
International Journal of Robotics Research
Proceedings of the 2nd International Workshop on Open Data
Using SWRL and ontological reasoning for the personalization of context-aware assistive services
Proceedings of the 6th International Conference on PErvasive Technologies Related to Assistive Environments
An argumentation framework for description logic ontology reasoning and management
Journal of Intelligent Information Systems
Injecting Self-Organisation into Pervasive Service Ecosystems
Mobile Networks and Applications
WebAnnot: a learner's dedicated web-based annotation tool
International Journal of Technology Enhanced Learning
Evaluating a query framework for software evolution data
ACM Transactions on Software Engineering and Methodology (TOSEM) - Testing, debugging, and error handling, formal methods, lifecycle concerns, evolution and maintenance
Model-theoretic inseparability and modularity of description logic ontologies
Artificial Intelligence
Inferring robot goals from violations of semantic knowledge
Robotics and Autonomous Systems
An ontology-based approach to automated trust negotiation
Computer Standards & Interfaces
Towards an efficient algorithm to reason over description logics extended with nominal schemas
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Computing incoherence explanations for learned ontologies
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
BUNDLE: a reasoner for probabilistic ontologies
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
OBDA and intermodal logistics: active projects and applications
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
From OWL to DL−Lite through efficient ontology approximation
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Ontology patterns for complex activity modelling
RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
Data & Knowledge Engineering
Semantic security against web application attacks
Information Sciences: an International Journal
Mastro studio: managing ontology-based data access applications
Proceedings of the VLDB Endowment
Ontology Mapping and Reasoning in Semantic Time Series Processing
Proceedings of International Conference on Information Integration and Web-based Applications & Services
Introducing inference-driven OWL ABox enrichment
Proceedings of International Conference on Information Integration and Web-based Applications & Services
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Ontology-based data access: An application to intermodal logistics
Information Systems Frontiers
Journal of Network and Computer Applications
Semantic-aware multi-tenancy authorization system for cloud architectures
Future Generation Computer Systems
Inconsistency-tolerant reasoning with OWL DL
International Journal of Approximate Reasoning
A semantic knowledge management system for laminated composites
Advanced Engineering Informatics
An ontology-based framework for domain-specific modeling
Software and Systems Modeling (SoSyM)
An Ontological Rule-Based Approach for Analyzing Dead and False Optional Features in Feature Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Injecting Semantic Annotations into Geospatial Web service descriptions
Semantic Web - On linked spatiotemporal data and geo-ontologies
Optimizing SPARQL query answering over OWL ontologies
Journal of Artificial Intelligence Research
Knowledge-enabled decision making for robotic system utilizing ambient service components
Journal of Ambient Intelligence and Smart Environments - Ambient and Smart Component Technologies for Human Centric Computing
International Journal of Knowledge-based and Intelligent Engineering Systems - Selected papers of KES2012-Part 1 of 2
Construction of ontologies from object-oriented database models
Integrated Computer-Aided Engineering
A Goal-Directed Decision Procedure for Hybrid PDL
Journal of Automated Reasoning
Hi-index | 0.02 |
In this paper, we present a brief overview of Pellet: a complete OWL-DL reasoner with acceptable to very good performance, extensive middleware, and a number of unique features. Pellet is the first sound and complete OWL-DL reasoner with extensive support for reasoning with individuals (including nominal support and conjunctive query), user-defined datatypes, and debugging support for ontologies. It implements several extensions to OWL-DL including a combination formalism for OWL-DL ontologies, a non-monotonic operator, and preliminary support for OWL/Rule hybrid reasoning. Pellet is written in Java and is open source.