Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
A software framework for matchmaking based on semantic web technology
WWW '03 Proceedings of the 12th international conference on World Wide Web
Using ontologies to aid navigation planning in autonomous vehicles
The Knowledge Engineering Review
Scooby: middleware for service composition in pervasive computing
MPAC '04 Proceedings of the 2nd workshop on Middleware for pervasive and ad-hoc computing
On the undecidability of logics with converse, nominals, recursion and counting
Artificial Intelligence
Towards Ontology-Driven P2P Grid Resource Discovery
GRID '04 Proceedings of the 5th IEEE/ACM International Workshop on Grid Computing
Middleware for User Controlled Environments
PERCOMW '05 Proceedings of the Third IEEE International Conference on Pervasive Computing and Communications Workshops
ICEC '04 Proceedings of the 6th international conference on Electronic commerce
Knowledge based approach to semantic composition of teams in an organization
Proceedings of the 2005 ACM symposium on Applied computing
Resolution and Constraint Propagation for Semantic Web Services Discovery
Distributed and Parallel Databases
The τ model, formalizing topic maps
APCCM '05 Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling - Volume 43
Knowledge editing and maintenance tools for a semantic portal in oncology
International Journal of Human-Computer Studies - Protégé: community is everything
Knowledge-based assessment of behavior in dynamic environments
Proceedings of the 2005 ACM workshop on Research in knowledge representation for autonomous systems
A knowledge-based scenario framework to support intelligent planning characters
Lecture Notes in Computer Science
An algorithm based on counterfactuals for concept learning in the semantic web
IEA/AIE'2005 Proceedings of the 18th international conference on Innovations in Applied Artificial Intelligence
Building and querying e-catalog networks using P2P and data summarisation techniques
Journal of Intelligent Information Systems
Improved annotation of the blogosphere via autotagging and hierarchical clustering
Proceedings of the 15th international conference on World Wide Web
IEEE Intelligent Systems
A dissimilarity measure for ALC concept descriptions
Proceedings of the 2006 ACM symposium on Applied computing
A semantic-based fully visual application for matchmaking and query refinement in B2C e-marketplaces
ICEC '06 Proceedings of the 8th international conference on Electronic commerce: The new e-commerce: innovations for conquering current barriers, obstacles and limitations to conducting successful business on the internet
AOW '05 Proceedings of the 2005 Australasian Ontology Workshop - Volume 58
Containment of conjunctive object meta-queries
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
Modal logic investigations in the semantics of counts-as
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Personalized DVB-H Service Discovery Beyond 3G
Wireless Personal Communications: An International Journal
A calculus of logical relations for over- and underapproximating static analyses
Science of Computer Programming
Extracting Program Logics From Abstract Interpretations Defined by Logical Relations
Electronic Notes in Theoretical Computer Science (ENTCS)
An algorithm based on counterfactuals for concept learning in the Semantic Web
Applied Intelligence
Managing the risks from information --- through semantic information management
BT Technology Journal
Definition and use of Computation Independent Models in an MDA-based groupware development process
Science of Computer Programming
Visual modeling and formal specification of constraints of RBAC using semantic web technology
Knowledge-Based Systems
Logical properties of foundational relations in bio-ontologies
Artificial Intelligence in Medicine
Instance-based retrieval by analogy
Proceedings of the 2007 ACM symposium on Applied computing
Towards a Selective Inference Platform Based on OWL
WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
Semantic Web Services Discovery Using Ontology-Based Rating Model
WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
Semantic model-driven architecting of service-based software systems
Information and Software Technology
Semantic Web approach to smart link generation for Web navigations
Software—Practice & Experience
A System for Principled Matchmaking in an Electronic Marketplace
International Journal of Electronic Commerce
RFID meets bluetooth in a semantic based u-commerce environment
Proceedings of the ninth international conference on Electronic commerce
SADPI '07 Proceedings of the 2007 international workshop on Semantically aware document processing and indexing
Laying the foundations for a World Wide Argument Web
Artificial Intelligence
On marrying ontological and metamodeling technical spaces
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
On marrying ontological and metamodeling technical spaces
The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers
Situational computing: An innovative architecture with imprecise reasoning
Journal of Systems and Software
On scene interpretation with description logics
Image and Vision Computing
Randomized metric induction and evolutionary conceptual clustering for semantic knowledge bases
Proceedings of the sixteenth ACM conference on Conference on information and knowledge management
A formal road from institutional norms to organizational structures
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
A comprehensive combination framework
ACM Transactions on Computational Logic (TOCL)
Ontologies and reasoning techniques for (legal) intelligent information retrieval systems
Artificial Intelligence and Law
Expressive security policy rules using Layered Conceptual Graphs
Knowledge-Based Systems
The myGrid ontology: bioinformatics service discovery
International Journal of Bioinformatics Research and Applications
Semantic-enhanced Bluetooth discovery protocol for m-commerce applications
International Journal of Web and Grid Services
A conceptual architecture for semantic web services development and deployment
International Journal of Web and Grid Services
Semantic web technologies for ubiquitous computing resource management in smart spaces
International Journal of Web Engineering and Technology
Deciding expressive description logics in the framework of resolution
Information and Computation
A semantic repository approach to improve the government to business relationship
Data & Knowledge Engineering
Logical handling of uncertain, ontology-based, spatial information
Fuzzy Sets and Systems
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"
Discovery in grid and web services environments: A survey and evaluation
Multiagent and Grid Systems - Special Issue on "Advances in Grid services Engineering and Management"
Outlines of a model of general ontology
Acta Cybernetica
Semantic based collaborative P2P in ubiquitous computing
Web Intelligence and Agent Systems
On the Relationship between Description Logic-based and F-Logic-based Ontologies
Fundamenta Informaticae
Semantic model-driven development of web service architectures
International Journal of Web Engineering and Technology
From human regulations to regulated software agents' behavior
Artificial Intelligence and Law
Guarded hybrid knowledge bases12
Theory and Practice of Logic Programming
Representation of context-dependant knowledge in ontologies: A model and an application
Expert Systems with Applications: An International Journal
A semantic-based mobile registry for dynamic RFID-based logistics support
Proceedings of the 10th international conference on Electronic commerce
A note on the transitivity of parthood
Applied Ontology
Semantic parameterization: A process for modeling domain descriptions
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Reasoning Framework for Rule-Based WSML
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Bounded Model Checking with Description Logic Reasoning
TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Optimized Reasoning in Description Logics Using Hypertableaux
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Failure Analysis for Domain Knowledge Acquisition in a Knowledge-Intensive CBR System
ICCBR '07 Proceedings of the 7th international conference on Case-Based Reasoning: Case-Based Reasoning Research and Development
Distributed Clustering of Autonomous Shipping Containers by Concept, Location, and Time
MATES '07 Proceedings of the 5th German conference on Multiagent System Technologies
A Hierarchical Clustering Procedure for Semantically Annotated Resources
AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
Aspect-Based Tagging for Collaborative Media Organization
From Web to Social Web: Discovering and Deploying User and Content Profiles
Arguing about Reputation: The LRep Language
Engineering Societies in the Agents World VIII
Relational Databases in RDF: Keys and Foreign Keys
Semantic Web, Ontologies and Databases
ICCSA '08 Proceedings of the international conference on Computational Science and Its Applications, Part II
Classification and Retrieval through Semantic Kernels
KES '08 Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part III
Evolutionary Clustering in Description Logics: Controlling Concept Formation and Drift in Ontologies
DEXA '08 Proceedings of the 19th international conference on Database and Expert Systems Applications
The Complexity of Conjunctive Query Answering in Expressive Description Logics
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Individual Reuse in Description Logic Reasoning
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Rules and Ontologies for the Semantic Web
Reasoning Web
Ontology-Based Information Extraction and Reasoning for Business Intelligence Applications
KI '08 Proceedings of the 31st annual German conference on Advances in Artificial Intelligence
On the Influence of Description Logics Ontologies on Conceptual Similarity
EKAW '08 Proceedings of the 16th international conference on Knowledge Engineering: Practice and Patterns
Learning Disjointness for Debugging Mappings between Lightweight Ontologies
EKAW '08 Proceedings of the 16th international conference on Knowledge Engineering: Practice and Patterns
Loopy Propagation in a Probabilistic Description Logic
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
Cheap Boolean Role Constructors for Description Logics
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Ontology-based situation awareness
Information Fusion
Robot task planning using semantic maps
Robotics and Autonomous Systems
Finding informative commonalities in concept collections
Proceedings of the 17th ACM conference on Information and knowledge management
SXRS: An XLink-based Recommender System using Semantic Web technologies
Expert Systems with Applications: An International Journal
Expert Systems with Applications: An International Journal
A Nonmonotonic Approach to Semantic Matchmaking and Request Refinement in E-Marketplaces
International Journal of Electronic Commerce
Ontology Design and Reuse with Conceptual Roles
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Ranking Services Using Fuzzy HEX Programs
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Integrating Object-Oriented and Ontological Representations: A Case Study in Java and OWL
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Statistical Learning for Inductive Query Answering on OWL Ontologies
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
OWL Datatypes: Design and Implementation
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Description Logic Reasoning with Decision Diagrams
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
ELP: Tractable Rules for OWL 2
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Engineering of Software-Intensive Systems: State of the Art and Research Challenges
Software-Intensive Systems and New Computing Paradigms
Software Engineering for Ensembles
Software-Intensive Systems and New Computing Paradigms
Role Conjunctions in Expressive Description Logics
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Analogical Reasoning in Description Logics
Uncertainty Reasoning for the Semantic Web I
Approximate Measures of Semantic Dissimilarity under Uncertainty
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
Cross-Situation Trust Reasoning
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Semantic approach for modelling an assistive environment using description logic
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
Product configuration knowledge modeling using ontology web language
Expert Systems with Applications: An International Journal
Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading
Declarative Agent Languages and Technologies VI
Data Privacy for $\mathcal{ALC}$ Knowledge Bases
LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
SuMMIT - A framework for coordinating applications execution in mobile grid environments
GRID '07 Proceedings of the 8th IEEE/ACM International Conference on Grid Computing
An Ontology-based System for Semantic Filtering of XML Data
Electronic Notes in Theoretical Computer Science (ENTCS)
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
Unleashing Web 2.0: From Concepts to Creativity
Unleashing Web 2.0: From Concepts to Creativity
A decision support system for secure information sharing
Proceedings of the 14th ACM symposium on Access control models and technologies
A logic-based model to support alert correlation in intrusion detection
Information Fusion
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
ReduCE: A Reduced Coulomb Energy Network Method for Approximate Classification
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Semantically annotating and querying databases
MAMECTIS'08 Proceedings of the 10th WSEAS international conference on Mathematical methods, computational techniques and intelligent systems
Extracting concept descriptions from the Web: the importance of attributes and values
Proceedings of the 2008 conference on Ontology Learning and Population: Bridging the Gap between Text and Knowledge
Formal Semantics and OntologiesTowards an Ontological Account of Formal Semantics
Proceedings of the 2008 conference on Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008)
Island Reasoning for ALCHI Ontologies
Proceedings of the 2008 conference on Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008)
Formal Aspects of Legislative Meta-Drafting
Proceedings of the 2008 conference on Legal Knowledge and Information Systems: JURIX 2008: The Twenty-First Annual Conference
Using a Rule Language for Capturing Semantics in Web-Based Systems
Proceedings of the 2007 conference on Databases and Information Systems IV: Selected Papers from the Seventh International Baltic Conference DB&IS'2006
Role Assertion Analysis: a proposed method for ontology refinement through assertion learning
Proceedings of the 2008 conference on STAIRS 2008: Proceedings of the Fourth Starting AI Researchers' Symposium
A Description Logic with Concept Instance Ordering and Top-k Restriction
Proceedings of the 2009 conference on Information Modelling and Knowledge Bases XX
On Reducing Relationships to Property Ascriptions
Proceedings of the 2009 conference on Information Modelling and Knowledge Bases XX
Proceedings of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006)
Towards Foundational SemanticsOntological Semantics Revisited
Proceedings of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006)
Approximation of Ontologies in CASL
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
Semantic Knowledge Model and Architecture for Agents in Discrete Environments
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
An Activity Recognition Model for Alzheimer's Patients: Extension of the COACH Task Guidance System
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Modeling Semantic Web Services with the Web Service Modeling Toolkit
Journal of Network and Systems Management
Question answering based on pervasive agent ontology and Semantic Web
Knowledge-Based Systems
A Distance-Based Operator to Revising Ontologies in DL $\mathcal{SHOQ}$
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
SONAR: A Semantically Empowered Financial Search Engine
IWINAC '09 Proceedings of the 3rd International Work-Conference on The Interplay Between Natural and Artificial Computation: Part I: Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira's Scientific Legacy
A Mathematical Approach to Ontology Authoring and Documentation
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
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
A semantic approach for accessible services delivery in a smart environment
International Journal of Web and Grid Services
Ubiquitous knowledge-based framework for RFID semantic discovery in smart u-Commerce environments
Proceedings of the 11th International Conference on Electronic Commerce
Message models and aggregation in knowledge based middleware for rich sensor systems
Proceedings of the Sixth International Workshop on Data Management for Sensor Networks
Metric-based stochastic conceptual clustering for ontologies
Information Systems
An ontological guidance model for software maintenance
Proceedings of the doctoral symposium for ESEC/FSE on Doctoral symposium
Metric-based stochastic conceptual clustering for ontologies
Information Systems
EC-Web 2009 Proceedings of the 10th International Conference on E-Commerce and Web Technologies
Access Policy Design Supported by FCA Methods
ICCS '09 Proceedings of the 17th International Conference on Conceptual Structures: Conceptual Structures: Leveraging Semantic Technologies
Weighted Description Logics Preference Formulas for Multiattribute Negotiation
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
An inference model for semantic entailment in natural language
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Description logics for multi-issue bilateral negotiation with incomplete information
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Semantic matchmaking as non-monotonic reasoning: a description logic approach
Journal of Artificial Intelligence Research
Conjunctive query answering for the description logic SHIQ
Journal of Artificial Intelligence Research
A semantic-based registry enabling discovery, composition and substitution of pervasive services
Proceedings of the Seventh ACM International Workshop on Data Engineering for Wireless and Mobile Access
Ontology-based modelling of architectural styles
Information and Software Technology
Non-standard reasoning services for the debugging of description logic terminologies
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Identifying concept attributes using a classifier
DeepLA '05 Proceedings of the ACL-SIGLEX Workshop on Deep Lexical Acquisition
Reasoning about Web Services with Local Closed World Assumption
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
Reasoning in Pervasive Environments: An Implementation of Concept Abduction with Mobile OODBMS
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
Computing Information Minimal Match Explanations for Logic-Based Matchmaking
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Distributed reasoning with ontologies and rules in order-sorted logic programming
Web Semantics: Science, Services and Agents on the World Wide Web
Computational ontologies of parthood, componenthood, and containment
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Data complexity of reasoning in very expressive description logics
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Aspects of distributed and modular ontology reasoning
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Ordering heuristics for description logic reasoning
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Description logics for an autonomic IDS event analysis system
Computer Communications
Deciding inseparability and conservative extensions in the description logic EL
Journal of Symbolic Computation
Extending decidable cases for rules with existential variables
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A tableaux-based method for computing least common subsumers for expressive description logics
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Effective query rewriting with ontologies over DBoxes
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Consequence-driven reasoning for horn SHIQ ontologies
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A hybrid plan recognition model for Alzheimer's patients: Interleaved-erroneous dilemma
Web Intelligence and Agent Systems
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Controlled Aggregate Tree Shaped Questions over Ontologies
FQAS '09 Proceedings of the 8th International Conference on Flexible Query Answering Systems
Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Concept and Role Forgetting in ${\mathcal {ALC}}$ Ontologies
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Ontology-Based Retrieval of Spatially Related Objects for Location Based Services
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part II
Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations
ER '09 Proceedings of the 28th International Conference on Conceptual Modeling
Uniform Interpolation for $\mathcal{ALC}$ Revisited
AI '09 Proceedings of the 22nd Australasian Joint Conference on Advances in Artificial Intelligence
Supporting the Development of Data Wrapping Ontologies
ASWC '09 Proceedings of the 4th Asian Conference on The Semantic Web
Collaborative management of web ontology data with flexible access control
Expert Systems with Applications: An International Journal
An adaptable question-answer system using match of multi-sphere knowledge
ICACT'09 Proceedings of the 11th international conference on Advanced Communication Technology - Volume 3
Electronic Commerce Research and Applications
A Semantical Framework for the Orchestration and Choreography of Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
The complexity of finite model reasoning in description logics
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Ontological support for Association Rule Mining
AIA '08 Proceedings of the 26th IASTED International Conference on Artificial Intelligence and Applications
Rule-based architectural compliance checks for enterprise architecture management
EDOC'09 Proceedings of the 13th IEEE international conference on Enterprise Distributed Object Computing
Modeling ontologies as executable domain specific languages
Proceedings of the 3rd India software engineering conference
The DL-lite family and relations
Journal of Artificial Intelligence Research
Prime implicates and prime implicants: from propositional to modal logic
Journal of Artificial Intelligence Research
Conditional and Preferential Logics: Proof Methods and Theorem Proving
Proceedings of the 2010 conference on Conditional and Preferential Logics: Proof Methods and Theorem Proving
Semantic Matching Framework for handicap situation detection in smart environments
Journal of Ambient Intelligence and Smart Environments
AI Communications - Practical Aspects of Automated Reasoning
Web Semantics: Science, Services and Agents on the World Wide Web
Query Answering for OWL-DL with rules
Web Semantics: Science, Services and Agents on the World Wide Web
Granular computing applied to ontologies
International Journal of Approximate Reasoning
Beyond soundness: on the verification of semantic business process models
Distributed and Parallel Databases
Extending soft sets with description logics
Computers & Mathematics with Applications
Reconciling description logics and rules
Journal of the ACM (JACM)
DL-Learner: Learning Concepts in Description Logics
The Journal of Machine Learning Research
A proposal for combining formal concept analysis and description logics for mining relational data
ICFCA'07 Proceedings of the 5th international conference on Formal concept analysis
Efficient automatic selection of semantically-annotated building blocks for ERPs customizing
BIS'07 Proceedings of the 10th international conference on Business information systems
A formal model of data privacy
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
A unified ontology-based process model for software maintenance and comprehension
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
An ontology for software component matching
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Well-founded semantics for hybrid rules
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
A semantic framework for language layering in WSML
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
A context-driven programming model for pervasive spaces
ICOST'07 Proceedings of the 5th international conference on Smart homes and health telematics
Inductive concept retrieval and query answering with semantic knowledge bases through kernel methods
KES'07/WIRN'07 Proceedings of the 11th international conference, KES 2007 and XVII Italian workshop on neural networks conference on Knowledge-based intelligent information and engineering systems: Part I
A hierarchical clustering method for semantic knowledge bases
KES'07/WIRN'07 Proceedings of the 11th international conference, KES 2007 and XVII Italian workshop on neural networks conference on Knowledge-based intelligent information and engineering systems: Part III
Software pattern communities: current practices and challenges
Proceedings of the 14th Conference on Pattern Languages of Programs
Creating Kansei engineering-based ontology for annotating and archiving photos database
HCI'07 Proceedings of the 12th international conference on Human-computer interaction: interaction design and usability
Unlocking the semantics of multimedia presentations in the web with the multimedia metadata ontology
Proceedings of the 19th international conference on World wide web
Web-based graphical querying of databases through an ontology: the Wonder system
Proceedings of the 2010 ACM Symposium on Applied Computing
Towards the induction of terminological decision trees
Proceedings of the 2010 ACM Symposium on Applied Computing
Evaluating situation awareness of autonomous systems
PerMIS '08 Proceedings of the 8th Workshop on Performance Metrics for Intelligent Systems
How many legs do i have?: non-simple roles in number restrictions revisited
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
OTM'07 Proceedings of the 2007 OTM confederated international conference on On the move to meaningful internet systems - Volume Part I
Alternating-offers protocol for multi-issue bilateral negotiation in semantic-enabled marketplaces
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Using tableau to decide expressive description logics with role negation
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Integrating rules and description logics with circumscription for the semantic web
RuleML'07 Proceedings of the 2007 international conference on Advances in rule interchange and applications
Conceptual clustering applied to ontologies: a distance-based evolutionary approach
MCD'07 Proceedings of the 3rd ECML/PKDD international conference on Mining complex data
OWL-S atomic services composition with SWRL rules
ISMIS'08 Proceedings of the 17th international conference on Foundations of intelligent systems
Representation and reasoning of context-dependant knowledge in distributed fuzzy ontologies
Expert Systems with Applications: An International Journal
Question answering system based on ontology and semantic web
RSKT'08 Proceedings of the 3rd international conference on Rough sets and knowledge technology
dRDF: entailment for domain-restricted RDF
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Forgetting concepts in DL-lite
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Query answering and ontology population: an inductive approach
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Conceptual clustering and its application to concept drift and novelty detection
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
First elements on knowledge discovery guided by domain knowledge (KDDK)
CLA'06 Proceedings of the 4th international conference on Concept lattices and their applications
Semantic matching: algorithms and implementation
Journal on data semantics IX
A fine-grained approach to resolving unsatisfiable ontologies
Journal on data semantics X
Context representation in domain ontologies and its use for semantic integration of data
Journal on data semantics X
Coalition Description Logic with Individuals
Electronic Notes in Theoretical Computer Science (ENTCS)
Fuzzy Clustering for Semantic Knowledge Bases
Fundamenta Informaticae - Methodologies for Intelligent Systems
Towards Ontological Correctness of Part-whole Relations with Dependent Types
Proceedings of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010)
What are chemical structures and their relations?
Proceedings of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010)
Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN
Science of Computer Programming
Assessing process in CSCL: An ontological approach
Computers in Human Behavior
Searching and using external types in an extensible software development environment
Proceedings of 2010 ICSE Workshop on Search-driven Development: Users, Infrastructure, Tools and Evaluation
Hybrid reasoning with rules and ontologies
Semantic techniques for the web
Visualizing the semantics (not the syntax) of concept descriptions
Companion Proceedings of the XIV Brazilian Symposium on Multimedia and the Web
Interval-valued intuitionistic fuzzy soft sets and their properties
Computers & Mathematics with Applications
Theory and Practice of Logic Programming
Inductive logic programming in databases: From datalog to $\mathcal{dl}+log}^{\neg\vee}$
Theory and Practice of Logic Programming
Loop formulas for description logic programs
Theory and Practice of Logic Programming
Tableau-based Forgetting in ALC Ontologies
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Integrating Bipolar Fuzzy Mathematical Morphology in Description Logics for Spatial Reasoning
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
The informatics of indoor and outdoor space: a research agenda
Proceedings of the 2nd ACM SIGSPATIAL International Workshop on Indoor Spatial Awareness
Assessing trust in uncertain information using Bayesian description logic
Proceedings of the 17th ACM conference on Computer and communications security
Forgetting for knowledge bases in DL-Lite
Annals of Mathematics and Artificial Intelligence
A description logic based situation calculus
Annals of Mathematics and Artificial Intelligence
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
Logic programming languages for databases and the web
A 25-year perspective on logic programming
Checking structural integrity for metadata repository systems by means of description logics
DASFAA'10 Proceedings of the 15th international conference on Database systems for advanced applications
Combining description logics, description graphs, and rules
ICCS'10 Proceedings of the 18th international conference on Conceptual structures: from information to intelligence
Approximate instance retrieval on ontologies
DEXA'10 Proceedings of the 21st international conference on Database and expert systems applications: Part I
Vision, logic, and language - toward analyzable encompassing systems
KI'10 Proceedings of the 33rd annual German conference on Advances in artificial intelligence
Emerging hybrid computational models
ICIC'06 Proceedings of the 2006 international conference on Intelligent computing: Part II
Logical knowledge representation of regulatory relations in biomedical pathways
ITBAM'10 Proceedings of the First international conference on Information technology in bio- and medical informatics
A refinement operator based method for semantic grouping of conjunctive query results
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part III
Modularizing spatial ontologies for assisted living systems
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
Towards scalable instance retrieval over ontologies
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
Expressive approximations in DL-lite ontologies
AIMSA'10 Proceedings of the 14th international conference on Artificial intelligence: methodology, systems, and applications
Flat coalgebraic fixed point logics
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Induction of concepts in web ontologies through terminological decision trees
ECML PKDD'10 Proceedings of the 2010 European conference on Machine learning and knowledge discovery in databases: Part I
Bayesian knowledge corroboration with logical rules and user feedback
ECML PKDD'10 Proceedings of the 2010 European conference on Machine learning and knowledge discovery in databases: Part II
Horn contraction via epistemic entrenchment
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Using text to build semantic networks for pharmacogenomics
Journal of Biomedical Informatics
Anaphora resolution involving interactive knowledge acquisition
CNL'09 Proceedings of the 2009 conference on Controlled natural language
Controlled English ontology-based data access
CNL'09 Proceedings of the 2009 conference on Controlled natural language
Nonmonotonic onto-relational learning
ILP'09 Proceedings of the 19th international conference on Inductive logic programming
Usability of a visual language for DL concept descriptions
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
On the semantic relationship between datalog and description logics
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Ontology mapping and SPARQL rewriting for querying federated RDF data sources
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems: Part II
Combining semantic web search with the power of inductive reasoning
SUM'10 Proceedings of the 4th international conference on Scalable uncertainty management
T2.O.M. T.O.M.: techniques and technologies for an ontology-based mobility tool with open maps
ICWE'10 Proceedings of the 10th international conference on Current trends in web engineering
Modularity and compositionality in Jason
ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
The consistency of the CADIAG-2 knowledge base: a probabilistic approach
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Semantic mapping with a probabilistic description logic
SBIA'10 Proceedings of the 20th Brazilian conference on Advances in artificial intelligence
Relative expressive power of navigational querying on graphs
Proceedings of the 14th International Conference on Database Theory
Assessing trust in uncertain information
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Integrated metamodeling and diagnosis in OWL 2
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Justification oriented proofs in OWL
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Representing and querying validity time in RDF and OWL: a logic-based approach
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
Ontology-driven Development of Personalized Location Based Services
Proceedings of the 2011 conference on Databases and Information Systems VI: Selected Papers from the Ninth International Baltic Conference, DB&IS 2010
Interoperability Services for Models and Ontologies
Proceedings of the 2011 conference on Databases and Information Systems VI: Selected Papers from the Ninth International Baltic Conference, DB&IS 2010
Expert Systems with Applications: An International Journal
DL meet FL: a bidirectional mapping between ontologies and linguistic knowledge
COLING '10 Proceedings of the 23rd International Conference on Computational Linguistics: Posters
Nominals, inverses, counting, and conjunctive queries or: why infinity is your friend!
Journal of Artificial Intelligence Research
Terminological and assertional queries in KQL knowledge access language
ICCCI'10 Proceedings of the Second international conference on Computational collective intelligence: technologies and applications - Volume Part III
Specialization and validation of statecharts in OWL
EKAW'10 Proceedings of the 17th international conference on Knowledge engineering and management by the masses
A better uncle for OWL: nominal schemas for integrating rules and ontologies
Proceedings of the 20th international conference on World wide web
Composite ontology matching with uncertain mappings recovery
ACM SIGAPP Applied Computing Review
Semantic web reasoners and languages
Artificial Intelligence Review
Consolidating SNOMED CT's ontological commitment
Applied Ontology - Biomedical Ontologies
Ambient intelligence: A survey
ACM Computing Surveys (CSUR)
Nemoz: a distributed framework for collaborative media organization
Ubiquitous knowledge discovery
Computational intelligence agent-oriented modelling
CIMMACS'05 Proceedings of the 4th WSEAS international conference on Computational intelligence, man-machine systems and cybernetics
Editorial: Using OWL and SWRL to represent and reason with situation-based access control policies
Data & Knowledge Engineering
Scalable clone detection using description logic
Proceedings of the 5th International Workshop on Software Clones
Graph transformations and model-driven engineering
Nemoz: a distributed framework for collaborative media organization
Ubiquitous knowledge discovery
Reducing the footprint of certifiable health software during early stage development
Proceedings of the 3rd Workshop on Software Engineering in Health Care
Prediction of class and property assertions on OWL ontologies through evidence combination
Proceedings of the International Conference on Web Intelligence, Mining and Semantics
Relationship-based access control policies and their policy languages
Proceedings of the 16th ACM symposium on Access control models and technologies
Research on semantic web reasoning based on event ontology
ICWL'10 Proceedings of the 2010 international conference on New horizons in web-based learning
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
Querying the fragments of english
WoLLIC'11 Proceedings of the 18th international conference on Logic, language, information and computation
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
ESWC'11 Proceedings of the 8th extended semantic web conference on The semanic web: research and applications - Volume Part II
Optimizing query answering over OWL ontologies
ESWC'11 Proceedings of the 8th extended semantic web conference on The semanic web: research and applications - Volume Part II
Towards an ontology-based approach for deriving product architectures
Proceedings of the 15th International Software Product Line Conference, Volume 2
A meta-model of business interaction for assisting intelligent workflow systems
KES-AMSTA'11 Proceedings of the 5th KES international conference on Agent and multi-agent systems: technologies and applications
Finding association rules in semantic web data
Knowledge-Based Systems
Learning on semantic social networks: a distributed description logic-based approach
AIED'11 Proceedings of the 15th international conference on Artificial intelligence in education
Validation of families of business processes
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
ISMIS'11 Proceedings of the 19th international conference on Foundations of intelligent systems
Fr-ONT: an algorithm for frequent concept mining with formal ontologies
ISMIS'11 Proceedings of the 19th international conference on Foundations of intelligent systems
SWRL rules plan encoding with OWL-S composite services
ISMIS'11 Proceedings of the 19th international conference on Foundations of intelligent systems
Integration of existing multimedia metadata formats and metadata standards in the M3O
SAMT'10 Proceedings of the 5th international conference on Semantic and digital media technologies
Foundations of description logics
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Query rewriting for inconsistent DL-lite ontologies
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Root justifications for ontology repair
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Combining production systems and ontologies
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
DeLorean: A reasoner for fuzzy OWL 2
Expert Systems with Applications: An International Journal
Agent-based semantic composition of web services using distributed description logics
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part I
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
Protégé based environment for DL knowledge base structural analysis
ICCCI'11 Proceedings of the Third international conference on Computational collective intelligence: technologies and applications - Volume Part I
Combining description logics and typicality effects in formal ontologies
AI*IA'11 Proceedings of the 12th international conference on Artificial intelligence around man and beyond
Automating competence management through non-standard reasoning
Engineering Applications of Artificial Intelligence
Semantic services for information and management support in mass casualty incident scenarios
ServiceWave'10 Proceedings of the 2010 international conference on Towards a service-based internet
Coherent top-k ontology alignment for OWL EL
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Trust-based probabilistic query answering
WISE'11 Proceedings of the 12th international conference on Web information system engineering
Linkless normal form for ALC concepts and TBoxes
KI'11 Proceedings of the 34th Annual German conference on Advances in artificial intelligence
Visualizing ontologies: a case study
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
ShareAlike your data: self-referential usage policies for the semantic web
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Local closed world semantics: grounded circumscription for OWL
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Towards summarizing knowledge: Brief ontologies
Expert Systems with Applications: An International Journal
Ontological usage schemes a working proposal for the ontological foundation of language use
ER'11 Proceedings of the 30th international conference on Advances in conceptual modeling: recent developments and new directions
A contextual multilevel access control model
International Journal of Internet Technology and Secured Transactions
Semantic Web search based on ontological conjunctive queries
Web Semantics: Science, Services and Agents on the World Wide Web
Combining safe rules and ontologies by interfacing of reasoners
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
Extending an OWL web node with reactive behavior
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
Preferential reasoning on a web of trust
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Resolution-Based approximate reasoning for OWL DL
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
On the properties of metamodeling in OWL
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Combining RDF and part of OWL with rules: semantics, decidability, complexity
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
A counterfactual-based learning algorithm for ALC description logic
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
Tractable Extensions of the Description Logic ${\mathcal{EL}}$ with Numerical Datatypes
Journal of Automated Reasoning
The loop formula based semantics of description logic programs
Theoretical Computer Science
A declarative kernel for concept descriptions
ISMIS'06 Proceedings of the 16th international conference on Foundations of Intelligent Systems
Lazy learning from terminological knowledge bases
ISMIS'06 Proceedings of the 16th international conference on Foundations of Intelligent Systems
XBRL taxonomies and OWL ontologies for investment funds
CoMoGIS'06 Proceedings of the 2006 international conference on Advances in Conceptual Modeling: theory and practice
Matching semantic service descriptions with local closed-world reasoning
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Content-Oriented knowledge modeling for automated parts library ontology merging
CSCWD'05 Proceedings of the 9th international conference on Computer Supported Cooperative Work in Design II
An inference model for semantic entailment in natural language
MLCW'05 Proceedings of the First international conference on Machine Learning Challenges: evaluating Predictive Uncertainty Visual Object Classification, and Recognizing Textual Entailment
Synthesis from temporal specifications using preferred answer set programming
ICTCS'05 Proceedings of the 9th Italian conference on Theoretical Computer Science
Semi-automatic data migration in a self-medication knowledge-based system
WM'05 Proceedings of the Third Biennial conference on Professional Knowledge Management
Highly acyclic groups, hypergraph covers, and the guarded fragment
Journal of the ACM (JACM)
Tractable feature generation through description logics with value and number restrictions
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
Lexical and conceptual structures in ontology
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
A proposal for annotation, semantic similarity and classification of textual documents
AIMSA'06 Proceedings of the 12th international conference on Artificial Intelligence: methodology, Systems, and Applications
Constructing ontologies for sharing knowledge in digital archives
ICMLC'05 Proceedings of the 4th international conference on Advances in Machine Learning and Cybernetics
Natural language communication between human and artificial agents
PRIMA'06 Proceedings of the 9th Pacific Rim international conference on Agent Computing and Multi-Agent Systems
Semantic grid: interoperability between OWL and FIPA SL
PRIMA'06 Proceedings of the 9th Pacific Rim international conference on Agent Computing and Multi-Agent Systems
On representational issues about combinations of classical theories with nonmonotonic rules
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Building conceptual knowledge for managing learning paths in e-learning
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
A dynamic access control model
Applied Intelligence
Applying an ontology approach to IT service management for business-IT integration
Knowledge-Based Systems
Feature model based on description logics
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
On the midpoint of a set of XML documents
DEXA'05 Proceedings of the 16th international conference on Database and Expert Systems Applications
Automatic location of services
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Debugging and semantic clarification by pinpointing
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Dually structured concepts in the semantic web: answer set programming approach
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Nonmonotonic ontological and rule-based reasoning with extended conceptual logic programs
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Semantic-Based automated composition of distributed learning objects for personalized e-learning
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Modeling, matching and ranking services based on constraint hardness
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Ontology translation on the semantic web
Journal on Data Semantics II
Integrating the two main inference modes of NKRL, transformations and hypotheses
Journal on Data Semantics IV
Review: representing and classifying arguments on the semantic web
The Knowledge Engineering Review
Semantic mediation of vocabularies for ocean observing systems
Computers & Geosciences
Distributed island-based query answering for expressive ontologies
GPC'10 Proceedings of the 5th international conference on Advances in Grid and Pervasive Computing
An extended description logic for event ontology
GPC'10 Proceedings of the 5th international conference on Advances in Grid and Pervasive Computing
A semantic rewriting approach to automatic information providing web service composition
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
Graphical norms via conceptual graphs
Knowledge-Based Systems
An ontology-based scheme enabling the modeling of cooperation in business processes
OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part I
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Towards an inductive methodology for ontology alignment through instance negotiation
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Induction of robust classifiers for web ontologies through kernel machines
Web Semantics: Science, Services and Agents on the World Wide Web
Ontologies for the semantic web in CASL
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Automatic composition and selection of semantic web services
EGC'05 Proceedings of the 2005 European conference on Advances in Grid Computing
Guarding a walled garden — semantic privacy preferences for the social web
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part II
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Rules and ontologies in f-logic
Proceedings of the First international conference on Reasoning Web
Bounded model checking of pointer programs
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
A geospatial world model for the semantic web
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
Using formal methods with SysML in aerospace design and engineering
Annals of Mathematics and Artificial Intelligence
Contextualized knowledge repositories for the Semantic Web
Web Semantics: Science, Services and Agents on the World Wide Web
Moving digital library service systems to the grid
DELOS'04 Proceedings of the 6th Thematic conference on Peer-to-Peer, Grid, and Service-Orientation in Digital Library Architectures
Layered ontological modelling for web service-oriented model-driven architecture
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Ontology transformation and reasoning for model-driven architecture
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II
Joint language and domain engineering
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Ontology-based composition and transformation for model-driven service architecture
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
Ontological constitutions for classes and properties
ICCS'06 Proceedings of the 14th international conference on Conceptual Structures: inspiration and Application
Representing wholes by structure
ICCS'06 Proceedings of the 14th international conference on Conceptual Structures: inspiration and Application
A context-aware preference model for database querying in an ambient intelligent environment
DEXA'06 Proceedings of the 17th international conference on Database and Expert Systems Applications
Retrieval over conceptual structures
ECCBR'06 Proceedings of the 8th European conference on Advances in Case-Based Reasoning
On generating content and structural annotated websites using conceptual modeling
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Unsatisfiability reasoning in ORM conceptual schemes
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Using ontology modularization for efficient negotiation over ontology correspondences in MAS
ArgMAS'09 Proceedings of the 6th international conference on Argumentation in Multi-Agent Systems
A software framework for automated negotiation
Software Engineering for Multi-Agent Systems III
Journal of Biomedical Informatics
ESAW'05 Proceedings of the 6th international conference on Engineering Societies in the Agents World
Explanation services and request refinement in user friendly semantic-enabled b2c e-marketplaces
DEECS'06 Proceedings of the Second international conference on Data Engineering Issues in E-Commerce and Services
Computing utility from weighted description logic preference formulas
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Semantic web search based on ontological conjunctive queries
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications
Why and how knowledge discovery can be useful for solving problems with CBR
ICCBR'10 Proceedings of the 18th international conference on Case-Based Reasoning Research and Development
An algorithm for adapting cases represented in an expressive description logic
ICCBR'10 Proceedings of the 18th international conference on Case-Based Reasoning Research and Development
Global caching for coalgebraic description logics
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
Tractable extensions of the description logic EL with numerical datatypes
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
Optimized description logic reasoning via core blocking
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
Mobile semantic-based matchmaking: a fuzzy DL approach
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part I
Categorize by: deductive aggregation of semantic web query results
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part I
Merging and aligning ontologies in dl-programs
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Balancing system expressivity and user cognitive load in semantically enhanced policy modelling
ESWC'11 Proceedings of the 8th international conference on The Semantic Web
Delta-reasoner: a semantic web reasoner for an intelligent mobile platform
Proceedings of the 21st international conference companion on World Wide Web
Middleware'11 Proceedings of the 12th ACM/IFIP/USENIX international conference on Middleware
Formalizing and reasoning with p3p policies using a semantic web ontology
MIWAI'11 Proceedings of the 5th international conference on Multi-Disciplinary Trends in Artificial Intelligence
Structural distance between EL+ concepts
MIWAI'11 Proceedings of the 5th international conference on Multi-Disciplinary Trends in Artificial Intelligence
Semantic foundation for preferential description logics
AI'11 Proceedings of the 24th international conference on Advances in Artificial Intelligence
Data Mining and Knowledge Discovery
On the link between partial meet, kernel, and infra contraction and its application to Horn logic
Journal of Artificial Intelligence Research
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
Knowledge compilation for automated Team Composition exploiting standard SQL
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Type inference methods and performance for data in an RDBMS
SWIM '12 Proceedings of the 4th International Workshop on Semantic Web Information Management
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Formalizing production systems with rule-based ontologies
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Narcissists are easy, stepmothers are hard
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
Semantic decision making using ontology-based soft sets
Mathematical and Computer Modelling: An International Journal
A practical automata-based technique for reasoning in expressive description logics
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Containment of regular path queries under description logic constraints
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Defeasible inheritance-based description logics
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Description logic TBoxes: model-theoretic characterizations and rewritability
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Foundations for uniform interpolation and forgetting in expressive description logics
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Consequence-based reasoning beyond horn ontologies
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
An algorithm for adapting cases represented in ALC
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Efficient rule-based inferencing for OWL EL
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Towards an ontology for psychosis
Cognitive Systems Research
Ontology-based composition and matching for dynamic cloud service coordination
International Journal of Metadata, Semantics and Ontologies
Justified terminological reasoning
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
Normative systems require hybrid knowledge bases
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Modelling structured domains using description graphs and logic programming
ESWC'12 Proceedings of the 9th international conference on The Semantic Web: research and applications
Extending description logic rules
ESWC'12 Proceedings of the 9th international conference on The Semantic Web: research and applications
Semantic Matching Framework for handicap situation detection in smart environments
Journal of Ambient Intelligence and Smart Environments
A note on the transitivity of parthood
Applied Ontology
Towards ABox Modularization of semi-expressive Description Logics
Applied Ontology - Modularity in Ontologies
REInDetector: a framework for knowledge-based requirements engineering
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Extended caching, backjumping and merging for expressive description logics
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
Strong equivalence of RASP programs
Correct Reasoning
Validation of user intentions in process models
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
SemaKoDE: hybrid system for knowledge discovery in sensor-based smart environments
ICWE'12 Proceedings of the 12th international conference on Web Engineering
Evolving decision strategies for computational intelligence agents
ICIC'12 Proceedings of the 8th international conference on Intelligent Computing Theories and Applications
An approach for semantic enrichment of software product lines
Proceedings of the 16th International Software Product Line Conference - Volume 2
ALC + T: a Preferential Extension of Description Logics
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
On the Relationship between Description Logic-based and F-Logic-based Ontologies
Fundamenta Informaticae
Semantic query answering in digital libraries
SETN'12 Proceedings of the 7th Hellenic conference on Artificial Intelligence: theories and applications
Canadian AI'12 Proceedings of the 25th Canadian conference on Advances in Artificial Intelligence
Ontology of EEG mapping --- preliminary research
ITIB'12 Proceedings of the Third international conference on Information Technologies in Biomedicine
Reasoning of feature models from derived features
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
ABox abduction in ALC using a DL tableau
Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference
A defeasible reasoning approach for description logic ontologies
Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference
An ontology-based approach for modelling architectural styles
ECSA'07 Proceedings of the First European conference on Software Architecture
Improving semantic query answering
DEXA'07 Proceedings of the 18th international conference on Database and Expert Systems Applications
Ontology-based semantic search on the Web and its combination with the power of inductive reasoning
Annals of Mathematics and Artificial Intelligence
Using SOIQ(D) to formalize semantics within a semantic decision table
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
A unifying perspective on knowledge updates
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Semantic knowledge discovery from heterogeneous data sources
EKAW'12 Proceedings of the 18th international conference on Knowledge Engineering and Knowledge Management
Proceedings of the 12th International Middleware Conference
A tableau algorithm for fuzzy description logics over residuated de morgan lattices
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
On the (non-)succinctness of uniform interpolation in general EL terminologies
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Complexities of Horn Description Logics
ACM Transactions on Computational Logic (TOCL)
Robotics and Autonomous Systems
Ontology-based access to probabilistic data with OWL QL
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
Achieving interoperability through semantics-based technologies: the instant messaging case
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part II
Embedded EL + reasoning on programmable logic controllers
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part II
Next generation of e-assessment: automatic generation of questions
International Journal of Technology Enhanced Learning
Modeling and solving technical product configuration problems
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
A non-monotonic Description Logic for reasoning about typicality
Artificial Intelligence
Logical Connections of Statements at the Ontological Level
International Journal of Cognitive Informatics and Natural Intelligence
A Knowledge Engineering Approach to Develop Domain Ontology
International Journal of Distance Education Technologies
Normal modal preferential consequence
AI'12 Proceedings of the 25th Australasian joint conference on Advances in Artificial Intelligence
Large scale skill matching through knowledge compilation
ISMIS'12 Proceedings of the 20th international conference on Foundations of Intelligent Systems
Concept Induction in Description Logics Using Information-Theoretic Heuristics
International Journal on Semantic Web & Information Systems
AL-QuIn: An Onto-Relational Learning System for Semantic Web Mining
International Journal on Semantic Web & Information Systems
Advanced computational reasoning based on the NKRL conceptual model
Expert Systems with Applications: An International Journal
Reasoning over ontologies with hidden content: the import-by-query approach
Journal of Artificial Intelligence Research
An Ontology-Based Approach to Metaphor Cognitive Computation
Minds and Machines
Preferential Semantics for Plausible Subsumption in Possibility Theory
Minds and Machines
Dealing with the formal analysis of Information Security policies through ontologies: a case study
AOW '07 Proceedings of the Third Australasian Workshop on Advances in Ontologies - Volume 85
Correctness of solving query-answering problems using satisfiability solvers
ACIIDS'13 Proceedings of the 5th Asian conference on Intelligent Information and Database Systems - Volume Part I
Modeling and validation of business process families
Information Systems
A semantic metrics suite for evaluating modular ontologies
Information Systems
Towards efficient and practical solutions for ontology-based data management
Proceedings of the Joint EDBT/ICDT 2013 Workshops
CA-ABAC: Class Algebra Attribute-Based Access Control
WI-IAT '12 Proceedings of the The 2012 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technology - Volume 03
Relational concept analysis: mining concept lattices from multi-relational data
Annals of Mathematics and Artificial Intelligence
Axioms & templates: distinctions & transformationsamongst ontologies, frames, & information models
Proceedings of the seventh international conference on Knowledge capture
Rank prediction for semantically annotated resources
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Query-Driven Procedures for Hybrid MKNF Knowledge Bases
ACM Transactions on Computational Logic (TOCL)
Software agent reasoning supporting non-intrusive building space usage monitoring
Computers in Industry
KnowRob: A knowledge processing infrastructure for cognition-enabled robots
International Journal of Robotics Research
Minimal change: Relevance and recovery revisited
Artificial Intelligence
ArgCBROnto: a knowledge representation formalism for case-based argumentation
AT'13 Proceedings of the Second international conference on Agreement Technologies
Automatically generating assembly tolerance types with an ontology-based approach
Computer-Aided Design
Inferring robot goals from violations of semantic knowledge
Robotics and Autonomous Systems
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
Eliminating nonmonotonic DL-Atoms in description logic programs
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Rule revision in normal DL logic programs
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Data & Knowledge Engineering
Medical data management in the SYSEO project
ACM SIGMOD Record
Positive subsumption in fuzzy EL with general t-norms
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Data repair of inconsistent DL-programs
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Compact rewritings for existential rules
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Ontology based query answering with existential rules
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Acyclicity notions for existential rules and their application to query answering in ontologies
Journal of Artificial Intelligence Research
A decidable extension of SROIQ with complex role chains and unions
Journal of Artificial Intelligence Research
Integrity constraints in OWL ontologies based on grounded circumscription
Frontiers of Computer Science: Selected Publications from Chinese Universities
Bringing relational databases into the Semantic Web: A survey
Semantic Web - On real-time and ubiquitous social semantics
Horn clause contraction functions
Journal of Artificial Intelligence Research
Generating natural language descriptions from OWL ontologies: the natural OWL system
Journal of Artificial Intelligence Research
A Logic-based Computational Method for the Automated Induction of Fuzzy Ontology Axioms
Fundamenta Informaticae - Special Issue on the Italian Conference on Computational Logic: CILC 2011
Cross-domain targeted ontology subsets for annotation: The case of SNOMED CORE and RxNorm
Journal of Biomedical Informatics
Hi-index | 0.02 |